Use Susp to shift when required.
I don't understand why: sqr = lambda (x : Int) -> x * x; main = sqr 2; % sqr[0] 2; % failed to find sqr[0] found main is not processed correctly sqr is not shifted by one as it should have been. Changes to be committed: * src/lparse.ml * src/lexp.ml * src/debruijn.ml
Loading
Please register or sign in to comment