tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GenericMutualRecursion.scl

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