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/printlambda.ml | |
| 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/printlambda.ml')
| -rw-r--r-- | bytecomp/printlambda.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index 80cc7d3f6..0d6e19148 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -103,6 +103,7 @@ let primitive ppf = function | Pfloatfield n -> fprintf ppf "floatfield %i" n | Psetfloatfield n -> fprintf ppf "setfloatfield %i" n | Pduprecord (rep, size) -> fprintf ppf "duprecord %a %i" record_rep rep size + | Plazyforce -> fprintf ppf "force" | Pccall p -> fprintf ppf "%s" p.prim_name | Praise -> fprintf ppf "raise" | Psequand -> fprintf ppf "&&" |