Project

General

Profile

Revision 1e48ef45 src/corelang.ml

View differences:

src/corelang.ml
231 231

  
232 232
(* alias and type definition table *)
233 233

  
234
let top_int_type = mktop_decl Location.dummy_loc Version.prefix false (TypeDef {tydef_id = "int"; tydef_desc = Tydec_int})
235
let top_bool_type = mktop_decl Location.dummy_loc Version.prefix false (TypeDef {tydef_id = "bool"; tydef_desc = Tydec_bool})
236
let top_float_type = mktop_decl Location.dummy_loc Version.prefix false (TypeDef {tydef_id = "float"; tydef_desc = Tydec_float})
237
let top_real_type = mktop_decl Location.dummy_loc Version.prefix false (TypeDef {tydef_id = "real"; tydef_desc = Tydec_real})
234
let mktop = mktop_decl Location.dummy_loc Version.include_path false 
235

  
236
let top_int_type = mktop (TypeDef {tydef_id = "int"; tydef_desc = Tydec_int})
237
let top_bool_type = mktop (TypeDef {tydef_id = "bool"; tydef_desc = Tydec_bool})
238
let top_float_type = mktop (TypeDef {tydef_id = "float"; tydef_desc = Tydec_float})
239
let top_real_type = mktop (TypeDef {tydef_id = "real"; tydef_desc = Tydec_real})
238 240

  
239 241
let type_table =
240 242
  Utils.create_hashtable 20 [
......
788 790
  let (tin, tout) = Types.split_arrow ty in
789 791
  (*eprintf "internal fun %s: %d -> %d@." id (List.length (Types.type_list_of_type tin)) (List.length (Types.type_list_of_type tout));*)
790 792
  let cpt = ref (-1) in
791
  mktop_decl Location.dummy_loc Version.prefix false
793
  mktop
792 794
    (ImportedNode
793 795
       {nodei_id = id;
794 796
	nodei_type = ty;

Also available in: Unified diff