diff options
author | Martin Odersky <odersky@gmail.com> | 2007-09-16 18:01:02 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-09-16 18:01:02 +0000 |
commit | 7fe7bace8a7a55d888f4ebdce8d778ceb4384546 (patch) | |
tree | 3d1041a517a92f2a05f48ff80be116f316aadef1 /src/compiler | |
parent | 0b2f65aa6c6b3bb3e7628720893fb8116fdc8f71 (diff) | |
download | scala-7fe7bace8a7a55d888f4ebdce8d778ceb4384546.tar.gz scala-7fe7bace8a7a55d888f4ebdce8d778ceb4384546.tar.bz2 scala-7fe7bace8a7a55d888f4ebdce8d778ceb4384546.zip |
combinator1 parser changes + examples added
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index ad2b0d1559..3cdcc226e8 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -1601,6 +1601,7 @@ A type's typeSymbol should never be inspected directly. maybeRewrap(underlying.instantiateTypeParams(formals, actuals)) override def baseType(clazz: Symbol) = maybeRewrap(underlying.baseType(clazz)) override def closure = underlying.closure map maybeRewrap + override def isHigherKinded = false override def skolemizeExistential(owner: Symbol, origin: AnyRef) = { def mkSkolem(tparam: Symbol): Symbol = { |