[Git][monnier/typer][graveline] Renamed Sexp_print to Sexp_debug_print
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/34da1bba494ed29647f4a421b9f5e09d6cca... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline