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

   1 \r
   2 class Foo a where\r
   3     foo :: a\r
   4     \r
   5 instance Foo Integer where\r
   6     foo = foo\r
   7     bar = foo\r
   8     \r
   9 main = "Not to be executed."\r
  10 --\r
  11 7:5-7:14: Method bar is not defined in the type class Foo.