(refs #7307) Added features field to SCL module header

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / InvalidKinds2.scl

class Functor f where
    map :: (a -> b) -> f a -> f b
    
instance Functor Integer where
    map = fail "Not implemented."

main = "Not to be executed."
--
4:18-4:25: Expected a type with kind * -> * but got *.