[simantics/platform.git] / Forall1.scl

     \r
id :: forall a. a -> a\r
   // ^ not usually needed, but we test just that this is possible\r
id x = x\r
\r
main = id (3 :: Integer)\r
--\r
3