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