@@ -91,7 +91,5 @@ buildFunction body@(A.A ann _) vars =
92definition :: String -> Canonical.Expr -> R.Region -> T.Canonical -> Canonical.Def
92definition :: String -> Canonical.Expr -> R.Region -> T.Canonical -> Canonical.Def
93definition name expr@(A.A ann _) region tipe =
93definition name expr@(A.A ann _) region tipe =
95− facts = Canonical.dummyFacts
94+ Canonical.Definition Canonical.dummyFacts
97− Canonical.Definition facts (A.A ann (P.Var name)) expr (Just (A.A region tipe))
95+ (A.A ann (P.Var name)) expr (Just (A.A region tipe))