Update evaluated variable after EVAL
commit2a9acf2769bf4b1fe75a6533d7bc43d08f9e656c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 19 May 2014, 10:49 (12 years ago)
parentf53580a
src/IRTS/Defunctionalise.hs+1−1
@@ -195,7 +195,7 @@ toCons ns (n, i)
195195 (DApp False n (map (DV . Glob) (take i (genArgs 0))))))))
196196 : [] -- mkApplyCase n 0 i
197197 | otherwise = []
198− where dupdate tlarg x = x
198+ where dupdate tlarg x = DUpdate tlarg x
199199
200200toConsA :: [(Name, Int)] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]
201201toConsA ns (n, i)