Project

General

Profile

Revision d3e4c22f 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.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