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%2FGeneralization.scl;h=af3e215c939a9eb360792bdd67b7e1f8ff95453c;hp=e5503349fe95aafd9357f4a93051aa4378372717;hb=HEAD;hpb=36282d240b9ac295894a6705672efa11eb26e4d2 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Generalization.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Generalization.scl index e5503349f..af3e215c9 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Generalization.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Generalization.scl @@ -1,13 +1,13 @@ -import "JavaBuiltin" as Java - -(+) = Java.iadd - -data Foo = Foo Integer - -escapeFoo (Foo x) = x - -id x = x - -main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer))) --- +import "JavaBuiltin" as Java + +(+) = Java.iadd + +data Foo = Foo Integer + +escapeFoo (Foo x) = x + +id x = x + +main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer))) +-- 7 \ No newline at end of file