[Git][monnier/typer][graveline] Added Parser_default
Jonathan Graveline pushed to branch graveline at Stefan / Typer Commits: a8779758 by Jonathan Graveline at 2018-05-31T18:56:37Z Added Parser_default - - - - - 1 changed file: - btl/builtins.typer Changes: ===================================== btl/builtins.typer ===================================== --- a/btl/builtins.typer +++ b/btl/builtins.typer @@ -193,9 +193,11 @@ Sexp_dispatch = Built-in "Sexp.dispatch" -> (string : String -> a) -> (int : Integer -> a) -> (float : Float -> a) - -> (block : List Sexp -> a) + -> (block : Sexp -> a) -> a ; +Parser_default = Built-in "Parser.default" : Sexp -> List Sexp; + %%%% Monads %% Builtin bind View it on GitLab: https://gitlab.com/monnier/typer/commit/a87797581b433041696c64c0b8712ff5f6fc... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/a87797581b433041696c64c0b8712ff5f6fc... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline