Jonathan Graveline pushed to branch graveline at Stefan / Typer Commits: 00e86f25 by Jonathan Graveline at 2018-05-17T00:31:38Z Use of predefined function `shift` - - - - - 1 changed file: - src/elab.ml Changes: ===================================== src/elab.ml ===================================== --- a/src/elab.ml +++ b/src/elab.ml @@ -1531,7 +1531,7 @@ let sform_load usr_elctx loc sargs ot = sxps (Some ";") in let _, elctx = lexp_p_decls nods elctx in elctx in - + (* read file as elab_context *) let ld_elctx = match sargs with | [String (_,file_name)] -> read_file file_name !_sform_default_ectx @@ -1548,7 +1548,8 @@ let sform_load usr_elctx loc sargs ot = (* create a tuple from context and shift it to user context *) let tuple = OL.ctx2tup dflt_lctx ld_lctx in - let tuple' = Lexp.mkSusp tuple (S.Shift (S.Identity,(usr_len - dflt_len))) in + let tuple' = Lexp.mkSusp tuple (S.shift (usr_len - dflt_len)) in + (tuple',Lazy) (* Register special forms. *) View it on GitLab: https://gitlab.com/monnier/typer/commit/00e86f25ab7fc396f779e5e9aed995deb41c... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/00e86f25ab7fc396f779e5e9aed995deb41c... You're receiving this email because of your account on gitlab.com.