76 lines
859 B
OCaml
76 lines
859 B
OCaml
%{
|
|
%}
|
|
|
|
(* Tokens (mirroring those defined in module Token) *)
|
|
|
|
%token MINUS
|
|
%token PLUS
|
|
%token SLASH
|
|
%token TIMES
|
|
|
|
%token LPAR
|
|
%token RPAR
|
|
%token LBRACKET
|
|
%token RBRACKET
|
|
%token LBRACE
|
|
%token RBRACE
|
|
|
|
%token ARROW
|
|
%token CONS
|
|
%token CAT
|
|
(*%token APPEND*)
|
|
%token DOT
|
|
|
|
%token COMMA
|
|
%token SEMI
|
|
%token COLON
|
|
%token VBAR
|
|
|
|
%token WILD
|
|
|
|
%token EQ
|
|
%token NE
|
|
%token LT
|
|
%token GT
|
|
%token LE
|
|
%token GE
|
|
|
|
%token BOOL_OR
|
|
%token BOOL_AND
|
|
|
|
%token <string> Ident
|
|
%token <string> Constr
|
|
%token <string> Str
|
|
|
|
%token <string * Z.t> Int
|
|
%token <string * Z.t> Mtz
|
|
%token <string * Z.t> Nat
|
|
|
|
(*%token And*)
|
|
%token Begin
|
|
%token Else
|
|
%token End
|
|
%token False
|
|
%token Fun
|
|
%token If
|
|
%token In
|
|
%token Let
|
|
%token List
|
|
%token Map
|
|
%token Match
|
|
%token Mod
|
|
%token Not
|
|
%token Of
|
|
%token Or
|
|
%token Set
|
|
%token Then
|
|
%token True
|
|
%token Type
|
|
%token With
|
|
%token LetEntry
|
|
%token MatchNat
|
|
|
|
%token EOF
|
|
|
|
%%
|