diff options
author | David MacIver <david.maciver@gmail.com> | 2008-10-25 13:37:38 +0000 |
---|---|---|
committer | David MacIver <david.maciver@gmail.com> | 2008-10-25 13:37:38 +0000 |
commit | 758092d16b71e7b0ddf552c54ae1a76a06834cb6 (patch) | |
tree | 4cb7f3bac2fe673c998f3637bf23b9967de0652b /src | |
parent | 96c581e441ee5a8733f94eb4168eb4af1795b66d (diff) | |
download | scala-758092d16b71e7b0ddf552c54ae1a76a06834cb6.tar.gz scala-758092d16b71e7b0ddf552c54ae1a76a06834cb6.tar.bz2 scala-758092d16b71e7b0ddf552c54ae1a76a06834cb6.zip |
Working on bug 1423.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/matching/CodeFactory.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/matching/CodeFactory.scala b/src/compiler/scala/tools/nsc/matching/CodeFactory.scala index 5b31e4c47e..893506b742 100644 --- a/src/compiler/scala/tools/nsc/matching/CodeFactory.scala +++ b/src/compiler/scala/tools/nsc/matching/CodeFactory.scala @@ -43,8 +43,7 @@ trait CodeFactory { if(t.tpe <:< v.tpe) mkIdent(t) else if(v.tpe <:< t.tpe) typed{gen.mkAsInstanceOf(mkIdent(t),v.tpe)} // refinement else { - //Console.println("internal error, types don't match: pattern variable "+v+":"+v.tpe+" temp "+t+":"+t.tpe) - error("internal error, types don't match: pattern variable "+v+":"+v.tpe+" temp "+t+":"+t.tpe) + cunit.error(v.pos, "internal error, types don't match: pattern variable "+v+":"+v.tpe+" temp "+t+":"+t.tpe) typed{gen.mkAsInstanceOf(mkIdent(t), v.tpe)} // refinement } })::targetParams(n) |