]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Generalization.scl
Supply SVG text editor with element measurement context
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / Generalization.scl
1 import "JavaBuiltin" as Java
2
3 (+) = Java.iadd
4
5 data Foo = Foo Integer
6
7 escapeFoo (Foo x) = x
8
9 id x = x
10
11 main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))
12 --
13 7