81 lines
2.3 KiB
Diff
81 lines
2.3 KiB
Diff
--- mlapronidl/apron_caml.c.orig 2020-09-11 09:30:57.000000000 -0600
|
|
+++ mlapronidl/apron_caml.c 2022-02-07 13:37:27.047537062 -0700
|
|
@@ -90,6 +90,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -200,6 +203,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -234,6 +240,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
void camlidl_apron_manager_check_exception(struct ap_manager_t* man, void* _ctx)
|
|
@@ -350,6 +359,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -408,6 +420,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
/* ********************************************************************** */
|
|
@@ -451,6 +466,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
value camlidl_apron_environment_ptr_c2ml(ap_environment_ptr* p)
|
|
@@ -508,6 +526,9 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|
|
|
|
|
|
@@ -554,4 +575,7 @@ struct custom_operations camlidl_apron_c
|
|
#ifdef custom_compare_ext_default
|
|
custom_compare_ext_default,
|
|
#endif
|
|
+#ifdef custom_fixed_length_default
|
|
+ custom_fixed_length_default,
|
|
+#endif
|
|
};
|