diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-15 12:26:04 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-15 12:26:04 +0100 |
commit | 99393624e3bf001a6c20c7615ac88ef4201a93f8 (patch) | |
tree | 1f3a8800364fcfb1001b08a335acdfe8fa288c01 /src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | 01db9a68e5e68f08c8236c23c905009789d51587 (diff) | |
download | dotty-99393624e3bf001a6c20c7615ac88ef4201a93f8.tar.gz dotty-99393624e3bf001a6c20c7615ac88ef4201a93f8.tar.bz2 dotty-99393624e3bf001a6c20c7615ac88ef4201a93f8.zip |
Fixes related to SAM types.
1. Changes to SAMType extractor
2. Self names are no longer members of enclosing class
3. SAM-Type closures now print with their result type.
4. refactoring newSkolemSingleon ==> narrow
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 7a8df114b..b441da6b4 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -413,7 +413,7 @@ class TypeComparer(initctx: Context) extends DotClass { val tparams = tp1.typeParams val hkArgs = tp2.typeArgs (hkArgs.length == tparams.length) && { - val base = ctx.newSkolemSingleton(tp1) + val base = tp1.narrow (tparams, hkArgs).zipped.forall { (tparam, hkArg) => base.memberInfo(tparam) <:< hkArg.bounds // TODO: base.memberInfo needed? } && |