Jonathan Graveline pushed to branch graveline at Stefan / Typer
Commits: 588c02a6 by Jonathan Graveline at 2018-05-26T15:23:50Z Sexp_print for debugging - - - - -
1 changed file:
- btl/builtins.typer
Changes:
===================================== btl/builtins.typer ===================================== --- a/btl/builtins.typer +++ b/btl/builtins.typer @@ -153,6 +153,8 @@ String_sub = Built-in "String.sub" : String -> Int -> Int -> String;
Sexp_eq = Built-in "Sexp.=" : Sexp -> Sexp -> Bool;
+Sexp_print = Built-in "Sexp.print" : Sexp -> Sexp; + %% ----------------------------------------------------- %% List %% -----------------------------------------------------
View it on GitLab: https://gitlab.com/monnier/typer/commit/588c02a68e47e84f56cb000743a0cbdb3e70...