Jonathan Graveline pushed to branch graveline at Stefan / Typer

Commits: 34da1bba by Jonathan Graveline at 2018-05-26T21:08:02Z Renamed Sexp_print to Sexp_debug_print - - - - -

1 changed file:

- btl/builtins.typer

Changes:

===================================== btl/builtins.typer ===================================== --- a/btl/builtins.typer +++ b/btl/builtins.typer @@ -153,7 +153,7 @@ 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; +Sexp_debug_print = Built-in "Sexp.debug_print" : Sexp -> Sexp;

%% ----------------------------------------------------- %% List

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