git.iko.soy/Idris-dev
on master help sign in
Update evaluated variable after EVAL
2a9acf2Edwin Brady
src/IRTS/Defunctionalise.hs+1−1
compare with master
unifiedsplit
@@ -195,7 +195,7 @@ toCons ns (n, i)
195 (DApp False n (map (DV . Glob) (take i (genArgs 0))))))))
195 (DApp False n (map (DV . Glob) (take i (genArgs 0))))))))
196 : [] -- mkApplyCase n 0 i
196 : [] -- mkApplyCase n 0 i
197 | otherwise = []
197 | otherwise = []
198− where dupdate tlarg x = x
198+ where dupdate tlarg x = DUpdate tlarg x
199
199
200toConsA :: [(Name, Int)] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]
200toConsA :: [(Name, Int)] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]
201toConsA ns (n, i)
201toConsA ns (n, i)