Merge commit 'a2a4242'

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

app :: (Integer -> <e1> Integer) -> <e1> ((Integer -> <e2> Integer) -> <e2> Integer)\r
app f = do\r
  a = f 1\r
  \g -> g a\r
  \r
main = app (\x -> x) (\x -> x)\r
--\r
1