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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/bd6a3933c6a3a9c12e6a7f41307004767817... You're receiving this email because of your account on gitlab.com.