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

   1 import "Prelude"\r
   2 \r
   3 deepId :: FooBar b => b -> a -> a\r
   4 deepId count x = deepId2 count x\r
   5 deepId2 count x = if count <= 0 then x else deepId (count-1) x\r
   6 \r
   7 main = deepId (5 :: Integer) "FOO"\r
   8 --\r
   9 3:11-3:17: Unresolved type class FooBar.