Project

General

Profile

Revision 21485807 src/corelang.mli

View differences:

src/corelang.mli
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

  
153
exception Error of error
154
exception Unbound_type of type_dec_desc*Location.t
155
exception Already_bound_label of label*type_dec_desc*Location.t
155
exception Error of error * Location.t
156 156

  
157 157
val mktyp: Location.t -> type_dec_desc -> type_dec
158 158
val mkclock: Location.t -> clock_dec_desc -> clock_dec

Also available in: Unified diff