diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-18 12:08:27 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-04-18 12:08:27 +0000 |
commit | 8625a87820eca3c40ee226d2df2f307eabb5378d (patch) | |
tree | 146120924eb8f516c254af2154807542a6517f74 /test | |
parent | b1c47f7bfafc30f3ff2d4e7af7a56790cc8643de (diff) | |
download | scala-8625a87820eca3c40ee226d2df2f307eabb5378d.tar.gz scala-8625a87820eca3c40ee226d2df2f307eabb5378d.tar.bz2 scala-8625a87820eca3c40ee226d2df2f307eabb5378d.zip |
fixed bug 1056: due to mixed use of normalized ...
fixed bug 1056: due to mixed use of normalized and non-normalized types
should normalize types that were previously tested by a predicate that implicitly considered the normalized type. Before, given e.g., type X = Function[String, String], ``X''.isFunctionType was true (uses symbol, which normalizes), but ``X''.typeArgs.isEmpty (the alias doesn't have any type arguments)
(there are probably more cases like this, for now looked for .typeArgs)
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug1056.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/files/pos/bug1056.scala b/test/files/pos/bug1056.scala new file mode 100644 index 0000000000..68f1ff2731 --- /dev/null +++ b/test/files/pos/bug1056.scala @@ -0,0 +1,5 @@ +object Test { + type T = PartialFunction[String,String] + def g(h: T) = () + g({case s: String => s}) +} |