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

   1 import "JavaBuiltin" as Java
   2
   3 (+) = Java.iadd
   4 (-) = Java.isub
   5 (*) = Java.imul
   6
   7 data List a = Nil | Cons a (List a)
   8
   9 compose :: List (a -> a) -> a -> a
  10 compose Nil        x = x
  11 compose (Cons h t) x = compose t (h x)
  12
  13 succ x = x + 1
  14 prec x = x - 1
  15 double x = x * 2
  16
  17 f = compose (Cons succ (Cons double (Cons prec Nil)))
  18 main = f 13
  19 --
  20 27