From b74c33eb860622e3630949ee0eeac9c15e8df166 Mon Sep 17 00:00:00 2001 From: Lukas Rytz Date: Tue, 29 Jan 2013 13:46:56 +0100 Subject: SI-1803, plus documentation and cleanups in Namers, mainly in typeSig - when typing (and naming) a ValDef, tpt and rhs are now type checked in the same context (the inner / ValDef context). this does not change any behavior, but is more uniform (same as for DefDef). martin told me (offline) that this change is desirable if it doesn't break anything. (it doesn't). - typeSig is now more uniform with a separate method for each case (methodSig, valDefSig, etc). methodSig was cleaned up (no more variables) and documented. the type returned by methodSig no longer contains / refers to type skolems, but to the actual type parameters (so we don't need to replace the skolems lateron). - documentation on constructor contexts, type skolems - more tests for SI-5543 --- test/files/pos/t1803.scala | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 test/files/pos/t1803.scala (limited to 'test/files/pos/t1803.scala') diff --git a/test/files/pos/t1803.scala b/test/files/pos/t1803.scala new file mode 100644 index 0000000000..42f4e784a3 --- /dev/null +++ b/test/files/pos/t1803.scala @@ -0,0 +1,2 @@ +class A { def foo[A](a: A) = a } +class B extends A { override def foo[A](b) = b } -- cgit v1.2.3