Aladdin - Scala Bugtracking
[#566] project: compiler priority: high category: bug
submitter assigned to status date submitted
Stephane Martin fixed 2006-04-12 17:28:10.0
subject Type mismatch error
code 
object test {
  def foo[a](ys: List[a]): List[a] =
    //return List(ys.head) ::: ys.tail
    return ys.head :: ys.tail
}
what happened 
test.scala:4 error: type mismatch;
 found   : a
 required: a
    return ys.head :: ys.tail
                   ^
one error found
what expected No compiler error (ok without the "return" keyword, same behaviour with ":::")
[back to overview]
Changes of this bug report
Martin  edited on  2006-04-12 18:36:48.0