Added unboxed types

3 files changed, 3 insertions, 3 deletions

diff --git a/evaluator.ml b/evaluator.ml
index 0d8c0f7..46bbab7 100755
--- a/evaluator.ml
+++ b/evaluator.ml
@@ -148,7 +148,7 @@ let (catalog:C.t ref) = ref C.empty
 

 

 type existencialResult =

-  | Result : 'a Data.value -> existencialResult

+  | Result : 'a Data.value -> existencialResult [@@unboxed]

 

 (** Guess the format to use for the result function from the arguments given.

     The most specialized format take over the others.

diff --git a/scTypes.ml b/scTypes.ml
index f79b4ef..81af61c 100755
--- a/scTypes.ml
+++ b/scTypes.ml
@@ -196,7 +196,7 @@ module Refs = struct
     | Matrix: 'a dataFormat * 'a list list -> 'a list list content
 
   type refContent =
-    | C: 'a content -> refContent
+    | C: 'a content -> refContent [@@unboxed]
 
   type ('a, 'b) equality = Eq : ('a, 'a) equality
 
diff --git a/scTypes.mli b/scTypes.mli
index de0d6f2..ad0d0ee 100755
--- a/scTypes.mli
+++ b/scTypes.mli
@@ -94,7 +94,7 @@ module Refs : sig
     | Matrix: 'a dataFormat * 'a list list -> 'a list list content

 

   type refContent =

-    | C: 'a content -> refContent

+    | C: 'a content -> refContent [@@unboxed]

 

   (** extract the content from a range.