Skip to content

[match types] ill-formed recursion causes compiler to hang #9849

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
Closed
IndiscriminateCoding opened this issue Sep 22, 2020 · 1 comment
Closed

[match types] ill-formed recursion causes compiler to hang #9849

IndiscriminateCoding opened this issue Sep 22, 2020 · 1 comment
Assignees
@OlivierBlanvillain
Labels
itype:bug itype:crash

Comments

@IndiscriminateCoding
Copy link

Minimized code

type *:[A, B] = A match
  case (B *: x) => A
  case (x *: y) => x *: (B *: y)
  case _ => A *: B

Output (click arrow to expand)

Well, not actually crash, but it hangs indefinitely
@griggt
Copy link
Contributor

griggt commented Jan 31, 2021

This no longer hangs after #7389.

OlivierBlanvillain added a commit to dotty-staging/dotty that referenced this issue Apr 30, 2021
@OlivierBlanvillain
Fix scala#9849: Add regression test
224e8dc
liufengyun added a commit that referenced this issue May 7, 2021
@liufengyun
Merge pull request #12302 from dotty-staging/fix-9849
ae3f58e 
Fix #9849: Add regression test
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@OlivierBlanvillain OlivierBlanvillain

Labels
itype:bug itype:crash
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@OlivierBlanvillain @griggt @IndiscriminateCoding