Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003935OCamlOCaml typingpublic2005-12-29 09:072012-09-11 14:11
Reporteranonymous 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.09.0 
Target VersionlaterFixed in Version 
Summary0003935: Structural types forming non-regular trees can be defined through recursive modules.
DescriptionI think this problem is related to the issue 0003674.

Using recursive modules,
I can define structural types forming non-regular trees.
These types can cause non-termination of the core language type checker
when they are used.
Tagsrecmod, typing
Attached Files? file icon camllist [^] (1,297 bytes) 2005-12-29 09:07 [Show Content]

- Relationships
related to 0003674acknowledged unterminating type checking for recursive modules 

- Upload File
Select File
(Maximum size: 2,097k)

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-12-29 09:07 anonymous New Issue
2005-12-29 09:07 anonymous File Added: camllist
2006-01-05 14:21 doligez Relationship added related to 0003674
2006-01-05 14:21 doligez Status new => acknowledged
2012-07-11 16:47 doligez Tag Attached: recmod
2012-07-11 16:47 doligez Tag Attached: typing
2012-07-11 16:47 doligez Target Version => 4.01.0+dev
2012-07-27 13:14 frisch Category OCaml general => OCaml typing
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-11 14:11 doligez Target Version 4.00.1+dev => later


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker