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...