Project

General

Profile

Revision 21485807 src/parserLustreSpec.mly

View differences:

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.Unbound_type ((Tydec_const $1),Location.symbol_rloc()))
192
  with Not_found -> raise (Corelang.Error (Corelang.Unbound_symbol ("type " ^ $1), Location.symbol_rloc()))
193 193
}
194 194
| TFLOAT {mktyp Tydec_float}
195 195
| TREAL {mktyp Tydec_real}

Also available in: Unified diff