Setepenre pushed to branch master at Stefan / Typer
Commits: 4ea22894 by Pierre Delaunay at 2016-11-08T11:38:22-05:00 fixing db issue when calling OL.lexp_whnf
- - - - - 3502c27e by Pierre Delaunay at 2016-11-08T11:38:59-05:00 Merge branch 'master' of gitlab.com:monnier/typer
- - - - -
1 changed file:
- src/lparse.ml
Changes:
===================================== src/lparse.ml ===================================== --- a/src/lparse.ml +++ b/src/lparse.ml @@ -592,16 +592,16 @@ and lexp_call (func: pexp) (sargs: sexp list) ctx i = (* Process Arguments *)
(* Extract correct ordering aargs: all args and eargs: explicit args*) - let rec extract_order ltp aargs eargs = - match OL.lexp_whnf ltp (ectx_to_lctx ctx) with + let rec extract_order ltp aargs eargs nctx = + match OL.lexp_whnf ltp nctx with | Arrow (kind, Some (_, varname), ltp, _, ret) -> extract_order ret ((kind, varname, ltp)::aargs) - (if kind = Aexplicit then (varname::eargs) else eargs) + (if kind = Aexplicit then (varname::eargs) else eargs) (lctx_extend nctx None (ForwardRef) ltp)
| e -> (List.rev aargs), List.rev eargs in
(* first list has all the arguments, second only holds explicit arguments *) - let order, eorder = extract_order ltp [] [] in + let order, eorder = extract_order ltp [] [] (ectx_to_lctx ctx) in
(* print_string "Type :"; lexp_print ltp; print_string "\n";
View it on GitLab: https://gitlab.com/monnier/typer/compare/8dd054b6cae24bb8324e59596c02d2e4981...