82 lines
2.8 KiB
Diff
82 lines
2.8 KiB
Diff
--- ./mlapronidl/apron_caml.c.orig 2009-09-11 12:00:29.000000000 -0600
|
|
+++ ./mlapronidl/apron_caml.c 2013-02-14 10:26:50.578327765 -0700
|
|
@@ -5,6 +5,7 @@
|
|
/* This file is part of the APRON Library, released under LGPL license.
|
|
Please read the COPYING file packaged in the distribution */
|
|
|
|
+#include <caml/camlidlruntime.h>
|
|
#include "apron_caml.h"
|
|
|
|
/* ********************************************************************** */
|
|
@@ -83,7 +84,8 @@ struct custom_operations camlidl_apron_c
|
|
camlidl_apron_linexpr0_ptr_compare,
|
|
camlidl_apron_linexpr0_ptr_hash,
|
|
custom_serialize_default,
|
|
- custom_deserialize_default
|
|
+ custom_deserialize_default,
|
|
+ custom_compare_ext_default
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -117,7 +119,8 @@ struct custom_operations camlidl_apron_c
|
|
camlidl_apron_texpr0_ptr_compare,
|
|
camlidl_apron_texpr0_ptr_hash,
|
|
custom_serialize_default,
|
|
- custom_deserialize_default
|
|
+ custom_deserialize_default,
|
|
+ custom_compare_ext_default
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -148,7 +151,8 @@ struct custom_operations camlidl_apron_c
|
|
camlidl_apron_manager_ptr_compare,
|
|
custom_hash_default,
|
|
custom_serialize_default,
|
|
- custom_deserialize_default
|
|
+ custom_deserialize_default,
|
|
+ custom_compare_ext_default
|
|
};
|
|
|
|
void camlidl_apron_manager_check_exception(struct ap_manager_t* man, void* _ctx)
|
|
@@ -261,7 +265,8 @@ struct custom_operations camlidl_apron_c
|
|
camlidl_apron_abstract0_ptr_compare,
|
|
camlidl_apron_abstract0_ptr_hash,
|
|
camlidl_apron_abstract0_serialize,
|
|
- camlidl_apron_abstract0_deserialize
|
|
+ camlidl_apron_abstract0_deserialize,
|
|
+ custom_compare_ext_default
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -316,7 +321,8 @@ struct custom_operations camlidl_apron_c
|
|
camlidl_apron_var_ptr_compare,
|
|
camlidl_apron_var_ptr_hash,
|
|
custom_serialize_default,
|
|
- custom_deserialize_default
|
|
+ custom_deserialize_default,
|
|
+ custom_compare_ext_default
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -356,7 +362,8 @@ struct custom_operations camlidl_apron_c
|
|
camlidl_apron_environment_ptr_compare,
|
|
camlidl_apron_environment_ptr_hash,
|
|
custom_serialize_default,
|
|
- custom_deserialize_default
|
|
+ custom_deserialize_default,
|
|
+ custom_compare_ext_default
|
|
};
|
|
|
|
value camlidl_apron_environment_ptr_c2ml(ap_environment_ptr* p)
|
|
--- ./mlapronidl/scalar.ml.orig 2009-12-22 06:43:20.000000000 -0700
|
|
+++ ./mlapronidl/scalar.ml 2013-02-14 10:26:22.182358360 -0700
|
|
@@ -89,7 +89,7 @@ match scalar with
|
|
| Mpfrf x ->
|
|
let y = Mpfr.init2 (Mpfr.get_prec x) in
|
|
ignore (Mpfr.neg y x Mpfr.Up);
|
|
-Mpfrf(Mpfrf.mpfrf y)
|
|
+Mpfrf(Mpfrf._mpfrf y)
|
|
| Float x -> Float(-. x)
|
|
let to_string scalar =
|
|
match scalar with
|