]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/GenericMutualRecursion.scl
Supply SVG text editor with element measurement context
[simantics/platform.git] / 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