X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FRecursiveValues3.scl;h=459829807e987197b1056990811cb3dd8c7bcd66;hb=HEAD;hp=020a967d5a82d7a84c4d0d55ca424f4a26dfc901;hpb=dcca7344e1da6f975859fd79fbc6cead7d363042;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecursiveValues3.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecursiveValues3.scl index 020a967d5..459829807 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecursiveValues3.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecursiveValues3.scl @@ -1,12 +1,12 @@ -data Nat = O | S Nat - -// It is important for this test that even and or are not annotated -even O = True -even (S x) = odd x - -odd O = False -odd (S x) = even x - -main = even (S (S (S (S (S O))))) --- +data Nat = O | S Nat + +// It is important for this test that even and or are not annotated +even O = True +even (S x) = odd x + +odd O = False +odd (S x) = even x + +main = even (S (S (S (S (S O))))) +-- false \ No newline at end of file