diff options
| author | Burak Emir <emir@epfl.ch> | 2006-11-29 09:59:10 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2006-11-29 09:59:10 +0000 |
| commit | 5a2f21ce9af0a8ac3352f15b3e7783e27c81598b (patch) | |
| tree | dfb1270c98dab4efbeb1ab2e955e772e0fe5f444 /src | |
| parent | 42f868bceac14898489a9476508bbd5144e29696 (diff) | |
| download | scala-5a2f21ce9af0a8ac3352f15b3e7783e27c81598b.tar.gz scala-5a2f21ce9af0a8ac3352f15b3e7783e27c81598b.tar.bz2 scala-5a2f21ce9af0a8ac3352f15b3e7783e27c81598b.zip | |
added some sealed modifiers
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/matching/PatternNodes.scala | 2 | ||||
| -rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Symbols.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/matching/PatternNodes.scala b/src/compiler/scala/tools/nsc/matching/PatternNodes.scala index b6806c18d5..b048dd673b 100644 --- a/src/compiler/scala/tools/nsc/matching/PatternNodes.scala +++ b/src/compiler/scala/tools/nsc/matching/PatternNodes.scala @@ -15,7 +15,7 @@ trait PatternNodes requires transform.ExplicitOuter { /** Intermediate data structure for algebraic + pattern matcher */ - class PatternNode { + sealed class PatternNode { var pos = FirstPos var tpe: Type = _ var or: PatternNode = _ diff --git a/src/compiler/scala/tools/nsc/symtab/Symbols.scala b/src/compiler/scala/tools/nsc/symtab/Symbols.scala index f1694f3c73..919066b22f 100644 --- a/src/compiler/scala/tools/nsc/symtab/Symbols.scala +++ b/src/compiler/scala/tools/nsc/symtab/Symbols.scala @@ -1296,7 +1296,7 @@ trait Symbols requires SymbolTable { extends TypeError("illegal cyclic reference involving " + sym) /** A class for type histories */ - private case class TypeHistory(var validFrom: Period, info: Type, prev: TypeHistory) { + private sealed case class TypeHistory(var validFrom: Period, info: Type, prev: TypeHistory) { assert((prev eq null) || phaseId(validFrom) > phaseId(prev.validFrom), this) assert(validFrom != NoPeriod) override def toString() = |