]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/LocalDefinitions3.scl
Merge commit '3b5069d' into develop
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / LocalDefinitions3.scl
1 \r
2 data Step s = Skip s\r
3 \r
4 next :: (s -> Step s) -> s -> Step s \r
5 next next0 ss = match next0 ss with \r
6     Skip ss -> Skip ss\r
7     \r
8 main = next (\x -> Skip x) (3 :: Integer)\r
9 --\r
10 3