diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-27 12:15:09 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-03-27 13:54:37 +0200 |
commit | 65340ed4ad2ee9c9befb60e3e69023930dcb280c (patch) | |
tree | a4ca30dd6c163fe6f1b716316486da77e9cc33ed /tools/scalawhich | |
parent | 418053b960a36ebd503d84bafdaf90e1e525588f (diff) | |
download | scala-65340ed4ad2ee9c9befb60e3e69023930dcb280c.tar.gz scala-65340ed4ad2ee9c9befb60e3e69023930dcb280c.tar.bz2 scala-65340ed4ad2ee9c9befb60e3e69023930dcb280c.zip |
[vpm] suppress refchecks in matches
didn't realize this was done for the old pattern matcher, so now we have "feature"-parity
we still infer bad type arguments for type patterns -- see e.g., pos/t602.scala --
also, inference changes when you turn a case class into
the corresponding class&companion object, with the same unapply as the synthetic one
TODO: can we merge inferConstructorInstance & inferTypedPattern,
or at least make them behave consistently?
Diffstat (limited to 'tools/scalawhich')
0 files changed, 0 insertions, 0 deletions