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

   1 class Foo a b where\r
   2     foo :: a -> b\r
   3 \r
   4 instance Foo a a where\r
   5     foo x = x :: a\r
   6 \r
   7 main = "OK"\r
   8 --\r
   9 OK\r
  10 \r