tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InvalidKinds2.scl

   1 class Functor f where\r
   2     map :: (a -> b) -> f a -> f b\r
   3     \r
   4 instance Functor Integer where\r
   5     map = fail "Not implemented."\r
   6 \r
   7 main = "Not to be executed."\r
   8 --\r
   9 4:18-4:25: Expected a type with kind * -> * but got *.