Commit 6ef1fb9c authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix incorrect type annotation in desugaring

parent 863d759f
......@@ -895,7 +895,7 @@ 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) (elemType $ typeOf l) r)
dsExpr p (apply (prelFoldr (typeOf t) (typeOf l) r)
[foldFunct v l' e, List (predType $ elemType $ typeOf l) [r] [], l])
qualExpr v (ListCompr _ 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