diff options
| -rwxr-xr-x | evaluator.ml | 2 | ||||
| -rwxr-xr-x | scTypes.ml | 2 | ||||
| -rwxr-xr-x | scTypes.mli | 2 |
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.
@@ -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.
|