Permalink
Browse files

Indent + comment.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14744 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent 0f1fb19 commit fa3224ec87c3c3f135ff7dc4a01728d44eebcd7f @alainfrisch alainfrisch committed May 5, 2014
Showing with 5 additions and 2 deletions.
  1. +3 −0 bytecomp/lambda.mli
  2. +2 −2 typing/typecore.ml
View
@@ -247,6 +247,9 @@ val negate_comparison : comparison -> comparison
(* Get a new static failure ident *)
val next_raise_count : unit -> int
val next_negative_raise_count : unit -> int
+ (* Negative raise counts are used to compile 'match ... with exception x -> ...'.
+ This disabled some simplifications performed by the Simplif module that assume
+ that static raises are in tail position in their handler. *)
val staticfail : lambda (* Anticipated static failure *)
View
@@ -2102,9 +2102,9 @@ and type_expect_ ?in_function env sexp ty_expected =
let rec split_cases vc ec = function
| [] -> List.rev vc, List.rev ec
| {pc_lhs = {ppat_desc=Ppat_exception p}} as c :: rest ->
- split_cases vc ({c with pc_lhs = p} :: ec) rest
+ split_cases vc ({c with pc_lhs = p} :: ec) rest
| c :: rest ->
- split_cases (c :: vc) ec rest
+ split_cases (c :: vc) ec rest
in
let val_caselist, exn_caselist = split_cases [] [] caselist in
if val_caselist = [] then raise (Error (loc, env, No_value_clauses));

0 comments on commit fa3224e

Please sign in to comment.