Project

General

Profile

Revision 6affc9f5 src/corelang.ml

View differences:

src/corelang.ml
149 149
    Main_not_found
150 150
  | Main_wrong_kind
151 151
  | No_main_specified
152
  | Unbound_symbol of ident
153
  | Already_bound_symbol of ident
152 154

  
155
exception Error of error * Location.t
153 156

  
154 157
module VDeclModule =
155 158
struct (* Node module *)
......
230 233

  
231 234

  
232 235
(***********************************************************)
233
exception Error of error
234
exception Unbound_type of type_dec_desc*Location.t
235
exception Already_bound_label of label*type_dec_desc*Location.t
236

  
237 236
(* Fast access to nodes, by name *)
238 237
let (node_table : (ident, top_decl) Hashtbl.t) = Hashtbl.create 30
239 238
let consts_table = Hashtbl.create 30
......
729 728
      !Options.main_node
730 729
  | No_main_specified ->
731 730
    fprintf fmt "No main node specified@."
731
  | Unbound_symbol sym ->
732
    fprintf fmt
733
      "%s is undefined.@."
734
      sym
735
  | Already_bound_symbol sym -> 
736
    fprintf fmt
737
      "%s is already defined.@."
738
      sym
732 739

  
733 740
(* filling node table with internal functions *)
734 741
let vdecls_of_typ_ck cpt ty =

Also available in: Unified diff