[Git][monnier/typer][graveline] New Sexp_block
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/338fd242ba13e92b09793835aaed1800bdf0... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline