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

   1 data Nat = O | S Nat
   2
   3 // It is important for this test that even and or are not annotated
   4 even O = True
   5 even (S x) = odd x
   6
   7 odd O = False
   8 odd (S x) = even x
   9
  10 main = even (S (S (S (S (S O)))))
  11 --
  12 false