Jonathan Graveline pushed to branch graveline at Stefan / Typer

Commits: f4c0cfb7 by Jonathan Graveline at 2018-08-07T16:42:57Z `tunit` in eval.ml is now `unit` rather than `()`

- - - - -

1 changed file:

- src/eval.ml

Changes:

===================================== src/eval.ml ===================================== @@ -129,7 +129,7 @@ let ttrue = Vcons ((dloc, "true"), []) let tfalse = Vcons ((dloc, "false"), []) let o2v_bool b = if b then ttrue else tfalse

-let tunit = Vcons ((dloc, "()"), []) +let tunit = Vcons ((dloc, "unit"), [])

(* I'm using a ref because I think register_builtin_functions get called after the default_ctx is created in elab.

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