X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FUtils%2FCore%2FCoreTools.hs;h=d8f4289d28b25253544126ba0424f90f6fc842de;hb=51a7bd0bb429d112154578fdd1dfd706e6e01f6e;hp=48ca948c3baf39dfc4edc97ea7fd578ff6d48999;hpb=a9ef23ae9e5448c48ca4ee3113fd957cef3b6ca3;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/Utils/Core/CoreTools.hs" "b/c\316\273ash/CLasH/Utils/Core/CoreTools.hs" index 48ca948..d8f4289 100644 --- "a/c\316\273ash/CLasH/Utils/Core/CoreTools.hs" +++ "b/c\316\273ash/CLasH/Utils/Core/CoreTools.hs" @@ -43,6 +43,9 @@ import CLasH.Utils.GhcTools import CLasH.Utils.HsTools import CLasH.Utils.Pretty +-- | A single binding, used as a shortcut to simplify type signatures. +type Binding = (CoreSyn.CoreBndr, CoreSyn.CoreExpr) + -- | Evaluate a core Type representing type level int from the tfp -- library to a real int. eval_tfp_int :: HscTypes.HscEnv -> Type.Type -> Int