Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / Effects4.scl

diff --git a/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Effects4.scl b/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Effects4.scl
new file mode 100644 (file)
index 0000000..85138a6
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Effects4.scl
@@ -0,0 +1,12 @@
+effectfulId :: a -> <Proc> a\r
+effectfulId x = x\r
+\r
+//double :: (a -> <e> a) -> a -> <e> a\r
+double f x = f (f x)\r
+\r
+doubleId = double effectfulId\r
+\r
+main :: Integer\r
+main = runProc (doubleId (13 :: Integer))\r
+--\r
+13
\ No newline at end of file