]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/PolymorphicRecursion2.scl
(refs #7307) Added features field to SCL module header
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / PolymorphicRecursion2.scl
1
2
3 class Foo a where
4     foo :: a
5     
6 data List a = Nil | Cons a (List a)
7
8 r x = Cons foo (r x)
9
10 main = (1.0 :: Double)
11 --
12 1.0