Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003674OCamlOCaml typingpublic2005-06-07 12:372012-09-11 09:49
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionlaterFixed in Version 
Summary0003674: unterminating type checking for recursive modules
DescriptionFull_Name: Keiko NAKATA
Version: 3.08.2
OS: FreeBSD
Submission from: orion.kurims.kyoto-u.ac.jp (130.54.16.5)


Type checking does not terminate against the following program:

module type M = sig
    module rec F : functor (X : sig type t end) -> sig type t = F(F(X)).t end
 

Tagsrecmod
Attached Files

- Relationships
related to 0003935acknowledged Structural types forming non-regular trees can be defined through recursive modules. 

-  Notes
(0003023)
administrator (administrator)
2005-07-29 16:24

Tough example. Will not fix in 3.08.
(0008057)
doligez (administrator)
2012-09-11 09:49

Still present in 4.00.1+dev

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2006-01-05 14:21 doligez Relationship added related to 0003935
2012-07-11 17:20 doligez Tag Attached: recmod
2012-07-11 17:20 doligez Target Version => 4.01.0+dev
2012-07-11 17:20 doligez Description Updated View Revisions
2012-07-27 12:47 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 09:48 doligez Target Version 4.00.1+dev => later
2012-09-11 09:49 doligez Note Added: 0008057


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker