← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to typing/predef.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2011-04-21 21:35:08 UTC
  • mfrom: (1.1.11 upstream) (12.1.14 sid)
  • Revision ID: james.westby@ubuntu.com-20110421213508-kg34453aqmb0moha
* Fixes related to -output-obj with g++ (in debian/patches):
  - add Declare-primitive-name-table-as-const-char
  - add Avoid-multiple-declarations-in-generated-.c-files-in
  - fix Embed-bytecode-in-C-object-when-using-custom: the closing
    brace for extern "C" { ... } was missing in some cases

Show diffs side-by-side

added added

removed removed

Lines of Context:
typing/predef.ml
10
10
(*                                                                     *)
11
11
(***********************************************************************)
12
12
 
13
 
(* $Id: predef.ml 8418 2007-10-09 10:29:37Z weis $ *)
 
13
(* $Id: predef.ml 10288 2010-04-21 08:13:10Z xleroy $ *)
14
14
 
15
15
(* Predefined type constructors (with special typing rules in typecore) *)
16
16
 
100
100
     type_manifest = None;
101
101
     type_variance = []}
102
102
  and decl_unit =
103
 
    {type_params = []; 
 
103
    {type_params = [];
104
104
     type_arity = 0;
105
105
     type_kind = Type_variant(["()", []]);
106
106
     type_private = Public;
201
201
       ident_failure; ident_not_found; ident_sys_error; ident_end_of_file;
202
202
       ident_division_by_zero; ident_sys_blocked_io;
203
203
       ident_assert_failure; ident_undefined_recursive_module ]
 
204
 
 
205
(* Start non-predef identifiers at 1000.  This way, more predefs can
 
206
   be defined in this file (above!) without breaking .cmi
 
207
   compatibility. *)
 
208
 
 
209
let _ = Ident.set_current_time 999