Merge commit '3b5069d' into develop

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / Generalization.scl

import "JavaBuiltin" as Java\r
\r
(+) = Java.iadd\r
\r
data Foo = Foo Integer\r
\r
escapeFoo (Foo x) = x\r
\r
id x = x\r
\r
main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))\r
--\r
7