779ecf2 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix laziness in Compiler.hs.

commit779ecf24c7b393bda4f48418ee84204e925f992b authorMatus Tejiscak <ziman@functor.sk> dateSun 23 Mar 2014, 19:01 (13 years ago) parent64353d2

1 file changed+2−2

unifiedsplit

src/IRTS/Compiler.hs+2−2

@@ -191,11 +191,11 @@ irTerm vs env tm@(App f a) = case unApply tm of

191191 -> LForce <$> irTerm vs env arg

192192

193193 -- Laziness, the new way

194− (P _ (UN l) _, [_, arg])

194+ (P _ (UN l) _, [_, _, arg])

195195 | l == txt "Delay"

196196 -> LLazyExp <$> irTerm vs env arg

197197

198− (P _ (UN l) _, [_, arg])

198+ (P _ (UN l) _, [_, _, arg])

199199 | l == txt "Force"

200200 -> LForce <$> irTerm vs env arg

201201