diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-23 18:21:48 +0100 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-26 17:42:37 +0200 |
commit | e0d1f15c244539ce7970c4a903eb49962eaa3569 (patch) | |
tree | 00329404ef91de96da25d7c34f11c7bede3eba12 /src/compiler/scala/tools/nsc/typechecker/ContextErrors.scala | |
parent | a532ba0600444b3564b6b015688ebc4cdf084ba6 (diff) | |
download | scala-e0d1f15c244539ce7970c4a903eb49962eaa3569.tar.gz scala-e0d1f15c244539ce7970c4a903eb49962eaa3569.tar.bz2 scala-e0d1f15c244539ce7970c4a903eb49962eaa3569.zip |
[vpm] skolemize result type in translateMatch
... but not before, to avoid having skolems in typedMatchAnonFun
cast result of missingCase (avoid skolem mismatch)
relevant test cases: pos/existentials-harmful.scala, pos/gadt-gilles.scala, pos/t2683.scala, pos/virtpatmat_exist4.scala
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/ContextErrors.scala')
0 files changed, 0 insertions, 0 deletions