]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Generalization.scl
List the unsatisfied dependencies in CanvasContext
[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / Generalization.scl
1 import "JavaBuiltin" as Java\r
2 \r
3 (+) = Java.iadd\r
4 \r
5 data Foo = Foo Integer\r
6 \r
7 escapeFoo (Foo x) = x\r
8 \r
9 id x = x\r
10 \r
11 main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))\r
12 --\r
13 7