Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004955OCamlOCaml generalpublic2010-01-06 09:102010-04-30 05:15
Reporterkaustuv 
Assigned Togarrigue 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version3.11.2+dev 
Summary0004955: Type checker loops and aborts if recursive type expression is constrained
Description# type t = ([`A of 'a] as 'a) constraint 'a = t ;;

Fatal error: exception Stack_overflow
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0005218)
garrigue (manager)
2010-01-06 12:32

Delay check for cyclic abbreviations after enforcing constraints typedecl.ml.
(0005420)
garrigue (manager)
2010-04-30 05:15

Already fixed, just close.

- Issue History
Date Modified Username Field Change
2010-01-06 09:10 kaustuv New Issue
2010-01-06 12:32 garrigue Note Added: 0005218
2010-01-06 12:32 garrigue Status new => resolved
2010-01-06 12:32 garrigue Fixed in Version => 3.11.2+dev
2010-01-06 12:32 garrigue Resolution open => fixed
2010-01-06 12:32 garrigue Assigned To => garrigue
2010-04-30 05:15 garrigue Note Added: 0005420
2010-04-30 05:15 garrigue Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker