Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
| 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
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program