Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001301OCamlOCaml generalpublic2002-08-05 22:472002-08-06 10:20
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001301: Bug dans le rapport des types cycliques
DescriptionSans -rectypes:

        Objective Caml version 3.05

# type t = ('a * 'a) as 'a;;
Fatal error: exception Assert_failure("typing/printtyp.ml", 24341, 24353)


-- Alain

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0001013)
administrator (administrator)
2002-08-06 08:42

From: frisch@clipper.ens.fr
> Objective Caml version 3.05
>
> # type t = ('a * 'a) as 'a;;
> Fatal error: exception Assert_failure("typing/printtyp.ml", 24341, 24353)

Encore un bug idiot. C'est maintenant corrige'.
Merci pour tous ces tests.

      Jacques

(0001014)
administrator (administrator)
2002-08-06 10:20

Fixed 2002-08-06 by JG.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker