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

case statement with arms that return or discard look like they will produce incorrect type information #216

Open
cbaggers opened this issue Nov 15, 2018 · 2 comments
Open

case statement with arms that return or discard look like they will produce incorrect type information #216

cbaggers opened this issue Nov 15, 2018 · 2 comments
Assignees
@cbaggers
Labels
bug

Comments

@cbaggers
Copy link
Owner

  • open src/vari.cl/special-operators/case.lisp
  • look at the compute-conditional-type-set function
  • the (= num-terminated 1) looks wrong

At first glace I think we want to remove the types of the terminating branches and then carry on as usual (generating the or type in the clause below)
@cbaggers cbaggers added the bug label Nov 15, 2018
@cbaggers cbaggers self-assigned this Nov 15, 2018
@cbaggers
Copy link
Owner Author

fix is in master

@cbaggers cbaggers reopened this Nov 21, 2018
@cbaggers
Copy link
Owner Author

I closed the wrong ticket

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cbaggers cbaggers

Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cbaggers