examples/StmtEx.spl

   1 var x = True;
   2 var y = 3;
   3 var z = 3 + y;
   4 Int a = facR(4);
   5 //Int b = test(3);
   6
   7 facR(n) :: Int -> Int {
   8     test(3);
   9     if (True) {
  10         return 3;
  11     } else {
  12         return 4;
  13     }
  14     return 5;
  15 }
  16
  17 test(n) :: Int -> Int {
  18     var i = 0;
  19     facR(2);
  20     while (z < 3) {
  21         return 3;
  22     }
  23 }