Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000324OCamlOCaml generalpublic2001-03-26 12:062001-03-26 15:18
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000324: Bug Or-Pat
Description
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/ [^]

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000544)
administrator (administrator)
2001-03-26 14:24

>
>
> 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

(0000545)
administrator (administrator)
2001-03-26 15:18

Fixed 2001-03-26 by Luc

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker