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

   1 // Idea here is that the type variable in the top level type annotation\r
   2 // and the type annotation in the expression should be the same type.\r
   3 id :: a -> a\r
   4 id x = (x :: a)\r
   5 \r
   6 main = id "OK"\r
   7 --\r
   8 OK