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 2f6896678..46a2cf012 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -29,6 +29,8 @@ type primitive = | Pfloatfield of int | Psetfloatfield of int | Pduprecord of Types.record_representation * int + (* Force lazy values *) + | Plazyforce (* External call *) | Pccall of Primitive.description (* Exceptions *) |