git.iko.soy/elk
on master help sign in
Use dummyFacts constant
971b7d5JoeyEremondi
src/Canonicalize/Declaration.hs+1−1
compare with master
unifiedsplit
@@ -92,6 +92,6 @@ 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 =
94 let
94 let
95− facts = Canonical.Facts (error "Sort needs to fill in refgraph")
95+ facts = Canonical.dummyFacts
96 in
96 in
97 Canonical.Definition facts (A.A ann (P.Var name)) expr (Just (A.A region tipe))
97 Canonical.Definition facts (A.A ann (P.Var name)) expr (Just (A.A region tipe))