diff options
| author | alainfrisch <alain@frisch.fr> | 2017-11-29 18:08:10 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2017-12-01 10:13:48 +0100 |
| commit | 0ee044895ea4f1f04a8e4bf46044e97dcbf1eb8b (patch) | |
| tree | 2f745a7c5bf976f31da6eea311c7aba8e0075bd4 /bytecomp/lambda.mli | |
| parent | 8489efb58e78301edcd87f0d7545c7b16500732b (diff) | |
| download | ocaml-fix_7680.tar.gz | |
Get rid of redundant machinery.fix_7680
Diffstat (limited to 'bytecomp/lambda.mli')
| -rw-r--r-- | bytecomp/lambda.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index fef608d4a7..d3c81f8890 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -354,11 +354,6 @@ val default_stub_attribute : function_attribute (* 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 *) |