Jonathan Graveline pushed to branch graveline at Stefan / Typer
Commits: bd6a3933 by Jonathan Graveline at 2018-05-17T22:09:07Z Replace elab.ml - - - - -
1 changed file:
- src/elab.ml
Changes:
===================================== src/elab.ml ===================================== --- a/src/elab.ml +++ b/src/elab.ml @@ -1548,7 +1548,7 @@ 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 (usr_len - dflt_len)) in + let tuple' = (Lexp.mkSusp tuple (S.shift (usr_len - dflt_len))) in
(tuple',Lazy)
View it on GitLab: https://gitlab.com/monnier/typer/commit/bd6a3933c6a3a9c12e6a7f41307004767817...
Afficher les réponses par date