git.iko.soy/Idris-dev
on master help sign in
APPLY needs a catch all case for type constructors
c2efaddEdwin Brady
src/IRTS/Defunctionalise.hs+2−1
compare with master
unifiedsplit
@@ -218,7 +218,8 @@ mkApply xs = (MN 0 "APPLY", DFun (MN 0 "APPLY") [MN 0 "fn", MN 0 "arg"]
218 mkBigCase (MN 0 "APPLY") 256
218 mkBigCase (MN 0 "APPLY") 256
219 (DApp False (MN 0 "EVAL")
219 (DApp False (MN 0 "EVAL")
220 [DV (Glob (MN 0 "fn"))])
220 [DV (Glob (MN 0 "fn"))])
221− cases))
221+ (cases ++
222+ [DDefaultCase DNothing])))
222 where
223 where
223 applyCase (n, t, ApplyCase x) = Just x
224 applyCase (n, t, ApplyCase x) = Just x
224 applyCase _ = Nothing
225 applyCase _ = Nothing