tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/While.scl

   1 \r
   2 while :: (<e> Boolean) -> (<e> a) -> <e> ()\r
   3 while cond body = loop ()\r
   4   where loop _ = if cond\r
   5                  then do body ; loop ()\r
   6                  else ()\r
   7 \r
   8 main = "FOO"\r
   9 --\r
  10 FOO