X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FMatchingWithoutTypeAnnotations.scl;h=2fdc4dbfd989b9e1e737c727d97e19831195da77;hp=80d1477730e97a4ea4ca028de17ad08dcb566d53;hb=HEAD;hpb=e67e00d01d30f362e7a4f599cbcf24770ce13e22 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/MatchingWithoutTypeAnnotations.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/MatchingWithoutTypeAnnotations.scl index 80d147773..2fdc4dbfd 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/MatchingWithoutTypeAnnotations.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/MatchingWithoutTypeAnnotations.scl @@ -1,10 +1,10 @@ - -data List a = Nil | Cons a (List a) - -//first :: List Integer -> Integer -first Nil = 0 :: Integer -first (Cons x _) = x - -main = first (Cons (9 :: Integer) (Cons (8 :: Integer) Nil)) --- + +data List a = Nil | Cons a (List a) + +//first :: List Integer -> Integer +first Nil = 0 :: Integer +first (Cons x _) = x + +main = first (Cons (9 :: Integer) (Cons (8 :: Integer) Nil)) +-- 9 \ No newline at end of file