diff options
Diffstat (limited to 'bytecomp/lambda.ml')
| -rw-r--r-- | bytecomp/lambda.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml index a8479052c..e2f9e06e1 100644 --- a/bytecomp/lambda.ml +++ b/bytecomp/lambda.ml @@ -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 |