Project

General

Profile

Revision 66359a5e src/parserLustreSpec.mly

View differences:

src/parserLustreSpec.mly
123 123

  
124 124
expr:
125 125
/* constants */
126
  INT {mkexpr (Expr_const (Const_int $1))}
126
| INT {mkexpr (Expr_const (Const_int $1))}
127 127
| REAL {mkexpr (Expr_const (Const_real $1))}
128 128
| FLOAT {mkexpr (Expr_const (Const_float $1))}
129
| TRUE {mkexpr (Expr_const (Const_bool true))}
130
| FALSE {mkexpr (Expr_const (Const_bool false))}
131
| STRING {mkexpr (Expr_const (Const_string $1))}
129 132
/* Idents or type enum tags */
130 133
| IDENT {
131 134
  if Hashtbl.mem tag_table $1

Also available in: Unified diff