diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2000-08-11 19:58:52 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2000-08-11 19:58:52 +0000 |
| commit | e8ea52a66a73830728e2cc9f96fa3802ca254ab9 (patch) | |
| tree | 765fbea9d7477c77f8779fde2919751469bb8822 /bytecomp/printlambda.ml | |
| parent | d043fecf185164dcb2114e3617345624caeb28c8 (diff) | |
new or-pat compilation + exhaustiveness used in compilation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printlambda.ml')
| -rw-r--r-- | bytecomp/printlambda.ml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index 2ab20f872..07dd4b264 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -230,13 +230,19 @@ let rec lam ppf = function fprintf ppf "@[<hv 1>case tag %i:@ %a@]" n lam l) sw.sw_blocks in fprintf ppf - "@[<1>(%s%a@ @[<v 0>%a@])@]" - (if sw.sw_checked then "switch-checked " else "switch ") + "@[<1>(%s%s%a@ @[<v 0>%a@])@]" + (if sw.sw_checked then "switch-checked" else "switch") + (if sw.sw_nofail then "* " else " ") lam larg switch sw | Lstaticfail -> fprintf ppf "exit" + | Lstaticraise i -> + fprintf ppf "exit(%d)" i | Lcatch(lbody, lhandler) -> fprintf ppf "@[<2>(catch@ %a@;<1 -1>with@ %a)@]" lam lbody lam lhandler + | Lstaticcatch(lbody, i, lhandler) -> + fprintf ppf "@[<2>(catch@ %a@;<1 -1>with(%d)@ %a)@]" + lam lbody i lam lhandler | Ltrywith(lbody, param, lhandler) -> fprintf ppf "@[<2>(try@ %a@;<1 -1>with %a@ %a)@]" lam lbody Ident.print param lam lhandler |