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...
Afficher les réponses par date