diff options
author | Martin Odersky <odersky@gmail.com> | 2013-03-17 20:12:16 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-03-17 20:12:16 +0100 |
commit | 52d740d120cd197ee816aa0a06732ccdb5d5ab29 (patch) | |
tree | 6c6e7120ff879f72e8f7fa95b72ea5b7cdbe321c /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | 1d029f5f8f90a909ed140f7ef5cf656fafd9fc27 (diff) | |
download | dotty-52d740d120cd197ee816aa0a06732ccdb5d5ab29.tar.gz dotty-52d740d120cd197ee816aa0a06732ccdb5d5ab29.tar.bz2 dotty-52d740d120cd197ee816aa0a06732ccdb5d5ab29.zip |
Added emulation of higher-kinded types.
Also improvements to toString.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 48bb91a1e..aa786d451 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -4,6 +4,8 @@ import Contexts._, Types._, Symbols._, Names._, Flags._, Scopes._ trait TypeOps { this: Context => + def newSkolemSingleton(underlying: Type) = TermRef(NoPrefix, newSkolem(underlying)) + final def asSeenFrom(tp: Type, pre: Type, cls: Symbol, theMap: AsSeenFromMap): Type = { def toPrefix(pre: Type, cls: Symbol, thiscls: ClassSymbol): Type = @@ -183,7 +185,7 @@ trait TypeOps { this: Context => val parentRefs = parents map normalizeToRef for ((name, tpe) <- refinements) decls.enter { val formal = formals(name) - val bounds = tpe.toRHS(formal) + val bounds = tpe //.toRHS(formal) ctx.newSymbol(cls, name, formal.flags & RetainedTypeArgFlags, bounds) } parentRefs |