Comment author: administrator

Bonjour à tous,

Voici un bug lié aux or-patterns (testé sous 3.01). Le fragment
suivant:

type t =
| A
| B
;;

let test x y =
match x, y with
| ((A, 2) | (B, 1)), A ->
false
;;

provoque l'erreur interne

Uncaught exception: File "typing/parmatch.ml", line 0, characters 28464-28476: Assertion failed

--
François Pottier
Francois.Pottier@inria.fr
http://pauillac.inria.fr/~fpottier/

Petit bug d'implémentation de principes sains au départ.
À la limite du typo dans le code.

Corrigé et commis.

Merci pour ce rapport de bug.

--Luc

Comment author: administrator

Fixed 2001-03-26 by Luc