diff options
Diffstat (limited to 'bytecomp/lambda.mli')
| -rw-r--r-- | bytecomp/lambda.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index 540fe2f1c..af2a9e6f1 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -84,6 +84,8 @@ type primitive = (* Operations on big arrays: (unsafe, #dimensions, kind, layout) *) | Pbigarrayref of bool * int * bigarray_kind * bigarray_layout | Pbigarrayset of bool * int * bigarray_kind * bigarray_layout + (* size of the nth dimension of a big array *) + | Pbigarraydim of int and comparison = Ceq | Cneq | Clt | Cgt | Cle | Cge |