0004610: Feature wish: open in recursive signatures - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004610

OCaml

OCaml general

public

2008-09-01 09:44

2012-02-01 10:22

Reporter

frisch

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

resolved

Resolution

suspended

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

Summary

0004610: Feature wish: open in recursive signatures

Description

It would be very cool if the following could be made to work. I understand this is tricky (one probably needs more of a graph-like representation for approximated module types).

module rec TYPES : sig
  open TYPES

  type a = b
  type b

end = struct
  open TYPES

  type a = b
  type b
end

Tags

No tags attached.

Relationships

has duplicate

resolved

"open" broken in signatures of recursive modules

Notes
(0004786) doligez (manager) 2008-12-03 13:48	probably too tricky...

Issue History
Date Modified	Username	Field	Change
2008-09-01 09:44	frisch	New Issue
2008-12-03 13:48	doligez	Note Added: 0004786
2008-12-03 13:48	doligez	Status	new => acknowledged
2012-01-31 22:58	frisch	Status	acknowledged => resolved
2012-01-31 22:58	frisch	Resolution	open => suspended
2012-01-31 22:58	frisch	Assigned To	=> frisch
2012-02-01 10:22	gasche	Assigned To	frisch =>
2012-06-01 04:52	frisch	Relationship added	has duplicate 0005630

Copyright © 2000 - 2011 MantisBT Group