diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2008-08-01 16:57:10 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2008-08-01 16:57:10 +0000 |
| commit | 666cb14adfcf3b37e775ba59030444f8b3c86cfc (patch) | |
| tree | f475138e06319b0a7161191013071db5d3bc2b16 /bytecomp/lambda.mli | |
| parent | ad81f43c32b2ad78c827b0f209d091acf8b6bcf7 (diff) | |
Implement Lazy.force as a primitive, and optimize its calls.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 *) |