fix check

[minfp.git] / check.icl

diff --git a/check.icl b/check.icl
index e27f446..a18a378 100644 (file)
--- a/check.icl
+++ b/check.icl
@@ -22,7 +22,9 @@ check fs
        | length dups > 0 = Left ["Duplicate functions: ":[toString n\\[(Function n _ _):_]<-dups]]
        = case partition (\a->a=:(Function ['start'] _ _)) fs of
                ([], _) = Left ["No start function defined"]
-               ([Function _ [] e:_], fs) = (\x->(e, x)) <$> runInfer (infer (fromList builtin) $ makeExpression fs e)
+               ([Function _ [] e:_], fs)
+                       # e = makeExpression fs e
+                       = (\x->(e, x)) <$> runInfer (infer (fromList builtin) e)
                ([Function _ _ _:_], _) = Left ["Start cannot have arguments"]
 
 makeExpression :: [Function] Expression -> Expression