Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000341OCamlOCaml generalpublic2001-04-18 15:482001-04-23 10:30
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000341: bug with duplicate labels
DescriptionDear Caml supporters!

When I try to compile the following program (ocaml-3.01):

type t = Let | Assn
let f = function
  | [(l, Assn) | (l, Let)] -> failwith "1"
  | _ -> failwith "2"

the following message produced:

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

Regards,
Anton Moscal

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000560)
administrator (administrator)
2001-04-23 10:29

>
> Dear Caml supporters!
>
> When I try to compile the following program (ocaml-3.01):
>
> type t = Let | Assn
> let f = function
> | [(l, Assn) | (l, Let)] -> failwith "1"
> | _ -> failwith "2"
>
> the following message produced:
>
> Uncaught exception: File "typing/parmatch.ml", line 0, characters 28464-28476: Assertion failed
>
> Regards,
> Anton Moscal
>
>

This bug is already corrected in the cvs version (c.f. bug 0000324).

Thank you for having repported it.

All the best,

--Luc

(0000561)
administrator (administrator)
2001-04-23 10:30

Same as bug 0000324

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker