Fix compilation of applied de bruijn vars.
commit2604c1db72e4706b9c8c0bee842e5131a59df852
authorMatus Tejiscak <ziman@functor.sk>
dateMon 10 Mar 2014, 18:19 (13 years ago)
parentdd09721
src/IRTS/Compiler.hs+2−1
@@ -266,7 +266,8 @@ irTerm vs env tm@(App f a) = case unApply tm of
266266 -- otherwise, just apply the name
267267 _ -> applyName n ist args
268268
269− (V i, args) -> irTerm vs env (P Bound (env !! i) Erased)
269+ -- turn de bruijn vars into regular named references and try again
270+ (V i, args) -> irTerm vs env $ mkApp (P Bound (env !! i) Erased) args
270271
271272 (f, args)
272273 -> LApp False