0003674: unterminating type checking for recursive modules - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0003674

OCaml

OCaml typing

public

2005-06-07 12:37

2012-09-11 09:49

Reporter

administrator

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS

OS Version

Product Version

Target Version

later

Fixed in Version

Summary

0003674: unterminating type checking for recursive modules

Description

Full_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

Tags

Relationships

related to

acknowledged

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 (manager) 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