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%2FCompose.scl;h=d451e23658f4ba7b1ed22972124a98ff98f47469;hp=fad8b9b67baedcc5967433208fe590a30af79d8b;hb=HEAD;hpb=c08364c64a0bb53c45c052a3e4cea8702bbd69a0 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Compose.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Compose.scl index fad8b9b67..d451e2365 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Compose.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Compose.scl @@ -1,20 +1,20 @@ -import "JavaBuiltin" as Java - -(+) = Java.iadd -(-) = Java.isub -(*) = Java.imul - -data List a = Nil | Cons a (List a) - -compose :: List (a -> a) -> a -> a -compose Nil x = x -compose (Cons h t) x = compose t (h x) - -succ x = x + 1 -prec x = x - 1 -double x = x * 2 - -f = compose (Cons succ (Cons double (Cons prec Nil))) -main = f 13 --- +import "JavaBuiltin" as Java + +(+) = Java.iadd +(-) = Java.isub +(*) = Java.imul + +data List a = Nil | Cons a (List a) + +compose :: List (a -> a) -> a -> a +compose Nil x = x +compose (Cons h t) x = compose t (h x) + +succ x = x + 1 +prec x = x - 1 +double x = x * 2 + +f = compose (Cons succ (Cons double (Cons prec Nil))) +main = f 13 +-- 27 \ No newline at end of file