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.

Sign up for GitHub

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

Jump to bottom

Elaboration of non-terminating functions #35

Open
PH111P opened this issue Sep 4, 2017 · 1 comment
Open

Elaboration of non-terminating functions #35

PH111P opened this issue Sep 4, 2017 · 1 comment
Assignees
@PH111P
Labels
p9: low priority minor bugs or those that are hard to trigger s:elaboration t:squid

Comments

@PH111P
Copy link
Member

PH111P commented Sep 4, 2017 

fun f x = f x x

should not elaborate but it does.
@PH111P PH111P added the t:squid label Sep 4, 2017
@PH111P PH111P self-assigned this Sep 4, 2017
@PH111P
Copy link
Member Author

PH111P commented Sep 8, 2017

Elaboration of non-terminating functions seems to be broken in general. (In fact, everything returning some new type variable seems to be troublesome.)

As I'm currently not aware of some way to fix this, and this is something of not so high priority, this will probably take some time to fix.

@PH111P PH111P closed this as completed Oct 5, 2017
@PH111P PH111P reopened this Apr 11, 2019
@PH111P PH111P added the p9: low priority minor bugs or those that are hard to trigger label Nov 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@PH111P PH111P

Labels
p9: low priority minor bugs or those that are hard to trigger s:elaboration t:squid
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@PH111P