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.