Skip to content

t7868: typechecking patters with numerics(weak subptyping?) #692

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
DarkDimius opened this issue Jun 24, 2015 · 0 comments
Closed

t7868: typechecking patters with numerics(weak subptyping?) #692

DarkDimius opened this issue Jun 24, 2015 · 0 comments
Labels
compat:scala2 prio:low

Comments

@DarkDimius
Copy link
Contributor 

[info] compiling /Users/dark/workspace/dotty/tests/partest-generated/run/t7868.scala
[info] options: -pagewidth 160 -Yno-deep-subtypes -Yno-double-bindings -Ycheck:tailrec,resolveSuper,mixin,restoreScopes -d ./tests/partest-generated/run/t7868-run.obj
[info] /Users/dark/workspace/dotty/tests/partest-generated/run/t7868.scala:11: error: Pattern type Int is neither a subtype nor a supertype of selector type Short
[info]     case A(_) =>
[info]           ^
odersky added a commit that referenced this issue Jul 6, 2015
@odersky
Merge pull request #702 from dotty-staging/fix/#692-transitive-selfrefs
6561d4c 
Fix/#692 transitive selfrefs
smarter added a commit to dotty-staging/dotty that referenced this issue Jan 11, 2018
@smarter
Fix scala#692: Move testcase to neg/
e951e07 
I don't think the `def run` in the original testcase should work given
that the added `def run2` doesn't in either scalac or dotty.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compat:scala2 prio:low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@smarter @odersky @DarkDimius