[r2004-06-27 20:52:30 by afrisch] Add asttypes.ml

Original author: afrisch
Date: 2004-06-27 20:52:30+00:00

cdo2cmo/Makefile

@@ -12,7 +12,7 @@
 #   e.g.: make oCaml_all.cma MODEL=fal PREFIX=$HOME/godi/lib/ocaml/compiler-lib
 
 
-OBJECTS=$(patsubst %,$(PREFIX)/%, $(UNITS))
+OBJECTS=asttypes.ml $(patsubst %,$(PREFIX)/%, $(UNITS))
 XOBJECTS=$(OBJECTS:.cmo=.cmx)
 
 ifeq ($(MODEL),flat)

cdo2cmo/asttypes.ml

+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
+(*                                                                     *)
+(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
+(*  en Automatique.  All rights reserved.  This file is distributed    *)
+(*  under the terms of the Q Public License version 1.0.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id: asttypes.ml,v 1.1 2004/06/27 20:52:30 afrisch Exp $ *)
+
+(* Auxiliary a.s.t. types used by parsetree and typedtree. *)
+
+type constant =
+    Const_int of int
+  | Const_char of char
+  | Const_string of string
+  | Const_float of string
+  | Const_int32 of int32
+  | Const_int64 of int64
+  | Const_nativeint of nativeint
+
+type rec_flag = Nonrecursive | Recursive | Default
+
+type direction_flag = Upto | Downto
+
+type private_flag = Private | Public
+
+type mutable_flag = Immutable | Mutable
+
+type virtual_flag = Virtual | Concrete
+
+type label = string