gerrit.simantics Code Review - simantics/platform.git/blob

   1 class Functor f where\r
   2     map :: (a -> b) -> f a -> f b\r
   3     \r
   4 data Foo a = Foo a\r
   5 \r
   6 class Functor Foo where\r
   7     map f (Foo x) = Foo (f x)\r
   8 --\r
   9 6:1-7:30: Class Functor has already been defined in this module.