[Git][monnier/typer][graveline] `tunit` in eval.ml is now `unit` rather than `()`
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/f4c0cfb739991b329611c8d4fb547f4d91be... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline