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