Comment author: administrator

While preparing Ocaml courses, I have tried this example :

try (function 1 -> 0) 0 with Match_failure x -> x;;

0
This expression has type string * int * int but is here used with type
int

I understand the type error : (function 1 -> 0) 0 is of type int but x
is of type stringintint.
But why the warning "this pattern-matching is not exhaustive" is not
printed ? and why the example not
matched (0) is printed ?

Thank you for an explanation of this behavior.

Michel Levy
D106 - L.S.R. B.P.72 - 38042 SAINT MARTIN D'HERES CEDEX - France
e.mail : Michel.Levy@imag.fr tel :(33)476827246
http://www-lsr.imag.fr/Les.Personnes/Michel.Levy

Hello, I do not think this is a bug.

The explanation is quite simple, compilation fails on a typing error
before exhaustiveness analysis is performed.

--Luc Maranget

Comment author: administrator

try (function 1 -> 0) 0 with Match_failure x -> x;;

0
This expression has type string * int * int but is here used with type
int

This is a cosmetic bug in the display of warning and error messages.
You can see it better if you set the TERM environment variable to "dumb"
before launching the toplevel.

This will be mostly fixed in the next release. Thanks for the bug report.

-- Damien