(refs #7307) Added features field to SCL module header

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

effectfulId :: a -> <Proc> a
effectfulId x = x

//double :: (a -> <e> a) -> a -> <e> a
double f x = f (f x)

doubleId = double effectfulId

main :: Integer
main = runProc (doubleId (13 :: Integer))
--
13