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

   1 // Idea of this test is to ensure that generic type variables\r
   2 // and constraints are handled correctly with mutually recursive\r
   3 // functions\r
   4 \r
   5 import "Prelude"\r
   6 \r
   7 deepId count x = deepId2 count x\r
   8 deepId2 count x = if count <= 0 then x else deepId (count-1) x\r
   9 \r
  10 main = deepId 5 "FOO"\r
  11 --\r
  12 FOO