From 8625a87820eca3c40ee226d2df2f307eabb5378d Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 18 Apr 2007 12:08:27 +0000 Subject: 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) --- test/files/pos/bug1056.scala | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 test/files/pos/bug1056.scala (limited to 'test/files') 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}) +} -- cgit v1.2.3