Stefan pushed to branch master at Stefan / Typer

Commits: 2759acf9 by Stefan Monnier at 2017-08-03T16:45:57-04:00 * src/elab.ml (elaborate): Explain lack of typer-funcall

- - - - -

1 changed file:

- src/elab.ml

Changes:

===================================== src/elab.ml ===================================== --- a/src/elab.ml +++ b/src/elab.ml @@ -285,6 +285,12 @@ let rec elaborate ctx se ot = (BI.get_predef "Macro" ctx)) then elab_macro_call ctx f args ot else + (* FIXME: I'd like to do something like: + * elaborate ctx (Node (Symbol (l, "typer-funcall"), func::args)) ot + * but that forces `typer-funcall` to elaborate `func` a second time! + * Maybe I should only elaborate `func` above if it's a symbol + * (and maybe even use `elaborate_varref` rather than indirecting + * through `typr-identifier`)? *) elab_call ctx ft args

and infer (p : sexp) (ctx : elab_context): lexp * ltype =

View it on GitLab: https://gitlab.com/monnier/typer/commit/2759acf955952dd5b645cc545f360e105faf...

--- View it on GitLab: https://gitlab.com/monnier/typer/commit/2759acf955952dd5b645cc545f360e105faf... You're receiving this email because of your account on gitlab.com.