git.iko.soy/Idris-dev
on master help sign in
Fix laziness in Compiler.hs.
779ecf2Matus Tejiscak
src/IRTS/Compiler.hs+2−2
compare with master
unifiedsplit
@@ -191,11 +191,11 @@ irTerm vs env tm@(App f a) = case unApply tm of
191 -> LForce <$> irTerm vs env arg
191 -> LForce <$> irTerm vs env arg
192
192
193 -- Laziness, the new way
193 -- Laziness, the new way
194− (P _ (UN l) _, [_, arg])
194+ (P _ (UN l) _, [_, _, arg])
195 | l == txt "Delay"
195 | l == txt "Delay"
196 -> LLazyExp <$> irTerm vs env arg
196 -> LLazyExp <$> irTerm vs env arg
197
197
198− (P _ (UN l) _, [_, arg])
198+ (P _ (UN l) _, [_, _, arg])
199 | l == txt "Force"
199 | l == txt "Force"
200 -> LForce <$> irTerm vs env arg
200 -> LForce <$> irTerm vs env arg
201
201