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