Jonathan Graveline pushed to branch graveline at Stefan / Typer

Commits: 338fd242 by Jonathan Graveline at 2018-05-30T20:25:26Z New Sexp_block - - - - -

1 changed file:

- btl/builtins.typer

Changes:

===================================== btl/builtins.typer ===================================== --- a/btl/builtins.typer +++ b/btl/builtins.typer @@ -170,7 +170,7 @@ cons = datacons List cons;

%%%% Macro-related definitions

-%% Sexp_block= Built-in "Sexp.block" : List Pretoken -> Sexp; +Sexp_block = Built-in "Sexp.block" : String -> Sexp; Sexp_symbol = Built-in "Sexp.symbol" : String -> Sexp; Sexp_string = Built-in "Sexp.string" : String -> Sexp; Sexp_node = Built-in "Sexp.node" : Sexp -> List Sexp -> Sexp;

View it on GitLab: https://gitlab.com/monnier/typer/commit/338fd242ba13e92b09793835aaed1800bdf0...