Commit 85bd7fc3 authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix incorrect type annotations in desugaring

parent 33f06615
......@@ -895,8 +895,8 @@ dsQual p (StmtBind r t l) e
--TODO: Add SrcRefs (old version below)
--v <- addRefId r <$> freshVar "_#var" t
--l' <- addRefId r <$> freshVar "_#var" e
dsExpr p (apply (prelFoldr (typeOf t) (typeOf l) r)
[foldFunct v l' e, List (predType $ elemType $ typeOf l) [r] [], l])
dsExpr p (apply (prelFoldr (typeOf t) (typeOf e) r)
[foldFunct v l' e, List (predType $ typeOf e) [r] [], l])
where
qualExpr v (ListCompr _ e1 []) l1
= apply (prelMap (typeOf v) (typeOf e1) r) [Lambda r [v] e1, l1]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment