]> gerrit.simantics Code Review - simantics/platform.git/blob - InstanceIsTypoedAsClass.scl
2f30e85f5afab8bf35f781a668a363ccf0dc5baa
[simantics/platform.git] / InstanceIsTypoedAsClass.scl
1 class Functor f where
2     map :: (a -> b) -> f a -> f b
3     
4 data Foo a = Foo a
5
6 class Functor Foo where
7     map f (Foo x) = Foo (f x)
8 --
9 6:1-7:30: Class Functor has already been defined in this module.