diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-01-17 11:45:10 -0800 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-01-17 12:46:06 -0800 |
| commit | 964776f528a8ec4da889638ab41e5dbc8a9164a1 (patch) | |
| tree | 917515b8388c63dd20cddd698b7da741cbc14204 | |
| parent | f5397818aa6c9822ce6593e3eec02edfffdc4f2e (diff) | |
| download | scala-964776f528a8ec4da889638ab41e5dbc8a9164a1.tar.gz scala-964776f528a8ec4da889638ab41e5dbc8a9164a1.tar.bz2 scala-964776f528a8ec4da889638ab41e5dbc8a9164a1.zip | |
use ArrayBuffer instead of Array to build Formulae
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala b/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala index df1267b98f..cdceb2d992 100644 --- a/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala +++ b/src/compiler/scala/tools/nsc/typechecker/PatternMatching.scala @@ -2064,11 +2064,11 @@ trait PatternMatching extends Transform with TypingTransformers with ast.TreeDSL type FormulaBuilder = ArrayBuffer[Clause] def formulaBuilder = ArrayBuffer[Clause]() def addFormula(buff: FormulaBuilder, f: Formula): Unit = buff ++= f - def toFormula(buff: FormulaBuilder): Formula = buff.toArray + def toFormula(buff: FormulaBuilder): Formula = buff // CNF: a formula is a conjunction of clauses - type Formula = Array[Clause] - def formula(c: Clause*): Formula = c.toArray + type Formula = FormulaBuilder + def formula(c: Clause*): Formula = ArrayBuffer(c: _*) type Clause = Set[Lit] // a clause is a disjunction of distinct literals |