Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature wish: open in recursive signatures #4610

Closed
vicuna opened this issue Sep 1, 2008 · 1 comment
Closed

Feature wish: open in recursive signatures #4610

vicuna opened this issue Sep 1, 2008 · 1 comment

Comments

@vicuna
Copy link

vicuna commented Sep 1, 2008

Original bug ID: 4610
Reporter: @alainfrisch
Status: closed (set by @xavierleroy on 2013-08-31T10:46:21Z)
Resolution: suspended
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Has duplicate: #5630
Monitored by: @jberdine "Julien Signoles" @mmottl

Bug 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

@vicuna
Copy link
Author

vicuna commented Dec 3, 2008

Comment author: @damiendoligez

probably too tricky...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant