/
camlidl_0002-removing-array.mli.patch
57 lines (54 loc) · 2.28 KB
/
camlidl_0002-removing-array.mli.patch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
From bbd44856ab07cb45932b2e63d98f77e40d65aeac Mon Sep 17 00:00:00 2001
From: geoffroy <geoffroy.chollon@mlstate.com>
Date: Tue, 10 May 2011 16:53:18 +0200
Subject: [PATCH 2/4] removing array.mli
---
compiler/array.mli | 38 --------------------------------------
1 files changed, 0 insertions(+), 38 deletions(-)
delete mode 100644 compiler/array.mli
diff --git a/compiler/array.mli b/compiler/array.mli
deleted file mode 100644
index b35c01a..0000000
--- a/compiler/array.mli
+++ /dev/null
@@ -1,38 +0,0 @@
-(***********************************************************************)
-(* *)
-(* CamlIDL *)
-(* *)
-(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
-(* *)
-(* Copyright 1999 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: array.mli,v 1.7 2002/01/16 09:42:00 xleroy Exp $ *)
-
-(* Marshaling for arrays and bigarrays *)
-
-open Idltypes
-
-val array_ml_to_c :
- (out_channel -> bool -> Prefix.t -> idltype -> string -> string -> unit) ->
- out_channel -> bool -> Prefix.t -> array_attributes -> idltype -> string -> string ->
- unit
-val array_c_to_ml :
- (out_channel -> Prefix.t -> idltype -> string -> string -> unit) ->
- out_channel -> Prefix.t -> array_attributes -> idltype -> string -> string ->
- unit
-val array_allocate_output_space :
- out_channel -> Prefix.t -> array_attributes -> idltype -> string -> unit
-
-val bigarray_ml_to_c :
- out_channel -> Prefix.t -> bigarray_attributes -> idltype ->
- string -> string -> unit
-val bigarray_c_to_ml :
- out_channel -> Prefix.t -> bigarray_attributes -> idltype ->
- string -> string -> unit
-val bigarray_allocate_output_space :
- out_channel -> Prefix.t -> bigarray_attributes -> idltype -> string -> unit
-
--
1.7.3.1