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

Structural types forming non-regular trees can be defined through recursive modules. #3935

Open
vicuna opened this issue Dec 29, 2005 · 1 comment

Comments

Projects
None yet
2 participants
@vicuna
Copy link

commented Dec 29, 2005

Original bug ID: 3935
Reporter: anonymous
Status: acknowledged (set by @damiendoligez on 2006-01-05T13:21:33Z)
Resolution: open
Priority: normal
Severity: minor
Version: 3.09.0
Target version: later
Category: typing
Tags: recmod, typing
Related to: #3674 #7726
Monitored by: "Keiko NAKATA"

Bug description

I 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.

File attachments

@vicuna

This comment has been minimized.

Copy link
Author

commented Mar 15, 2017

Comment author: @garrigue

It seems that the problem could be avoided by re-checking regularity.
Is it really worth it, as long as we do not have an example of unsoundness?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.