Scala example source code file (wellkinded_wrongarity2.check)

This example Scala source code file (wellkinded_wrongarity2.check) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

bar2, bar2, foo, foo, monad, monad, string, string

The Scala wellkinded_wrongarity2.check source code

wellkinded_wrongarity2.scala:5: error: String takes no type parameters, expected: one
trait ms1 extends Monad[String]        // wrong
                        ^
wellkinded_wrongarity2.scala:6: error: t takes no type parameters, expected: one
trait ms2[t] extends Monad[t]          // wrong
                           ^
wellkinded_wrongarity2.scala:7: error: m[t] takes no type parameters, expected: one
trait ms3[m[_], t] extends Monad[m[t]] // wrong -- added to check regression on bug
                                 ^
wellkinded_wrongarity2.scala:12: error: type m takes type parameters
trait Bar2[m[_]] extends Foo[m] // check that m is properly recognized as kind *->*, while * is expected
                             ^
four errors found