Revision 52cfee34 src/parserLustreSpec.mly
| src/parserLustreSpec.mly | ||
|---|---|---|
| 189 | 189 |
| IDENT {
|
| 190 | 190 |
try |
| 191 | 191 |
mktyp (Hashtbl.find Corelang.type_table (Tydec_const $1)) |
| 192 |
with Not_found -> raise (Corelang.Error (Corelang.Unbound_symbol ("type " ^ $1), Location.symbol_rloc()))
|
|
| 192 |
with Not_found -> raise (Corelang.Error (Location.symbol_rloc(), Corelang.Unbound_symbol ("type " ^ $1)))
|
|
| 193 | 193 |
} |
| 194 | 194 |
| TFLOAT {mktyp Tydec_float}
|
| 195 | 195 |
| TREAL {mktyp Tydec_real}
|
Also available in: Unified diff