f8d6396fcd
* [CameLIGO/ReasonLIGO] The AST node [EAnnot] (expressions
annotated by a type) now records the region in the source
code for the colon.
* [CameLIGO/ReasonLIGO/PascaLIGO] I added the syntax
%token <...> TOKEN "lexeme"
* [ReasonLIGO] I changed the AST nodes [Mtz] and [Str] to
[Mutez] and [String], respectively (in accordance with the
PascaLIGO front-end). I changed token [DOTDOTDOT] to
[ELLIPSIS].
* [ReasonLIGO] I added what was missing to make a loca build
with my Makefile.
94 lines
2.9 KiB
OCaml
94 lines
2.9 KiB
OCaml
%{
|
|
%}
|
|
|
|
(* Tokens (mirroring thise defined in module LexToken) *)
|
|
|
|
(* Literals *)
|
|
|
|
%token <LexToken.lexeme Region.reg> String "<string>"
|
|
%token <(LexToken.lexeme * Hex.t) Region.reg> Bytes "<bytes>"
|
|
%token <(LexToken.lexeme * Z.t) Region.reg> Int "<int>"
|
|
%token <(LexToken.lexeme * Z.t) Region.reg> Nat "<nat>"
|
|
%token <(LexToken.lexeme * Z.t) Region.reg> Mutez "<mutez>"
|
|
%token <LexToken.lexeme Region.reg> Ident "<ident>"
|
|
%token <LexToken.lexeme Region.reg> Constr "<constr>"
|
|
|
|
(* Symbols *)
|
|
|
|
%token <Region.t> SEMI ";"
|
|
%token <Region.t> COMMA ","
|
|
%token <Region.t> LPAR "("
|
|
%token <Region.t> RPAR ")"
|
|
%token <Region.t> LBRACE "{"
|
|
%token <Region.t> RBRACE "}"
|
|
%token <Region.t> LBRACKET "["
|
|
%token <Region.t> RBRACKET "]"
|
|
%token <Region.t> CONS "#"
|
|
%token <Region.t> VBAR "|"
|
|
%token <Region.t> ARROW "->"
|
|
%token <Region.t> ASS ":="
|
|
%token <Region.t> EQ "="
|
|
%token <Region.t> COLON ":"
|
|
%token <Region.t> LT "<"
|
|
%token <Region.t> LE "<="
|
|
%token <Region.t> GT ">"
|
|
%token <Region.t> GE ">="
|
|
%token <Region.t> NE "=/="
|
|
%token <Region.t> PLUS "+"
|
|
%token <Region.t> MINUS "-"
|
|
%token <Region.t> SLASH "/"
|
|
%token <Region.t> TIMES "*"
|
|
%token <Region.t> DOT "."
|
|
%token <Region.t> WILD "_"
|
|
%token <Region.t> CAT "^"
|
|
|
|
(* Keywords *)
|
|
|
|
%token <Region.t> And "and"
|
|
%token <Region.t> Begin "begin"
|
|
%token <Region.t> BigMap "big_map"
|
|
%token <Region.t> Block "block"
|
|
%token <Region.t> Case "case"
|
|
%token <Region.t> Const "const"
|
|
%token <Region.t> Contains "contains"
|
|
%token <Region.t> Else "else"
|
|
%token <Region.t> End "end"
|
|
%token <Region.t> False "False"
|
|
%token <Region.t> For "for"
|
|
%token <Region.t> Function "function"
|
|
%token <Region.t> From "from"
|
|
%token <Region.t> If "if"
|
|
%token <Region.t> In "in"
|
|
%token <Region.t> Is "is"
|
|
%token <Region.t> List "list"
|
|
%token <Region.t> Map "map"
|
|
%token <Region.t> Mod "mod"
|
|
%token <Region.t> Nil "nil"
|
|
%token <Region.t> Not "not"
|
|
%token <Region.t> Of "of"
|
|
%token <Region.t> Or "or"
|
|
%token <Region.t> Patch "patch"
|
|
%token <Region.t> Record "record"
|
|
%token <Region.t> Remove "remove"
|
|
%token <Region.t> Set "set"
|
|
%token <Region.t> Skip "skip"
|
|
%token <Region.t> Then "then"
|
|
%token <Region.t> To "to"
|
|
%token <Region.t> True "True"
|
|
%token <Region.t> Type "type"
|
|
%token <Region.t> Unit "Unit"
|
|
%token <Region.t> Var "var"
|
|
%token <Region.t> While "while"
|
|
%token <Region.t> With "with"
|
|
|
|
(* Data constructors *)
|
|
|
|
%token <Region.t> C_None "None"
|
|
%token <Region.t> C_Some "Some"
|
|
|
|
(* Virtual tokens *)
|
|
|
|
%token <Region.t> EOF
|
|
|
|
%%
|