]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Effects4.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 / Effects4.scl
1 effectfulId :: a -> <Proc> a
2 effectfulId x = x
3
4 //double :: (a -> <e> a) -> a -> <e> a
5 double f x = f (f x)
6
7 doubleId = double effectfulId
8
9 main :: Integer
10 main = runProc (doubleId (13 :: Integer))
11 --
12 13