[simantics/platform.git] / InvalidTypeClassInstance1.scl

class Foo a where
    foo :: a -> Integer
    
instance Foo Long where
    foo x = x
        
--
6:13-6:14: Expected <Integer> got <Long>.