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