diff options
Diffstat (limited to 'typing/primitive.mli')
| -rw-r--r-- | typing/primitive.mli | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/typing/primitive.mli b/typing/primitive.mli deleted file mode 100644 index e89678aec7..0000000000 --- a/typing/primitive.mli +++ /dev/null @@ -1,26 +0,0 @@ -(***********************************************************************) -(* *) -(* 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$ *) - -(* Description of primitive functions *) - -type description = - { prim_name: string; (* Name of primitive or C function *) - prim_arity: int; (* Number of arguments *) - prim_alloc: bool; (* Does it allocates or raise? *) - prim_native_name: string; (* Name of C function for the nat. code gen. *) - prim_native_float: bool } (* Does the above operate on unboxed floats? *) - -val parse_declaration: int -> string list -> description - -val description_list: description -> string list |