| [#520] | project: compiler | priority: medium | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Sean | Martin | fixed | 2006-01-25 17:32:31.0 | |
| subject | type inference fails to account for overloading | |||
| code |
def verifyKeyword(keyword : String, source : SourceFile, pos : Int) = {
assert(keyword != null);
source.beginsWith(pos, keyword + " ");
}
def verifyKeyword(source : SourceFile, pos : Int) =
verifyKeyword(keyword, source, pos);
|
|||
| what happened | recursive method verifyKeyword needs result type Trees.scala scala/src/compiler/scala/tools/nsc/ast line 14\ 9 |
|||
| what expected | Should not flag methods as recursive (they are obviously not!). | |||
| [back to overview] | ||||
| Martin edited on 2006-01-30 18:38:37.0 |
| I changed recursive to `overloaded'. The fact is, we still need a result type, but the error message was misleading. |