examples/codeGen.spl

   1 //f(x, y) {
   2 //    var ret = 0;
   3 //    if (x < y) {
   4 //         ret = x;
   5 //    }
   6 //    else {
   7 //        ret = y;
   8 //    }
   9 //    return ret;
  10 //}//
  11
  12 //main() {
  13 //      Int x1 = 1;
  14 //    var x2 = 4;
  15 //    var x3 = f(x1, x2);
  16 //    print(x1);
  17 //    x1 = 5;
  18 //    return x3 + x1;
  19 //}
  20
  21 isE(x) :: [a] -> Bool {
  22     if (x == []) {
  23         return True;
  24     } else {
  25         return False;
  26     }
  27 }
  28
  29 main() {
  30  //   [Int] x2 = 0 : x1;
  31  //   [Int] x3 = [];
  32  //   (Int, Bool) x4 = (4, True);
  33  //   //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
  34 //    isEmpty(x2);
  35     [Int] x1 = 8 : 2 : [];
  36     (Bool, Int) z = (True, 2);
  37         var y = z.fst;
  38     var x = (True, 5) : (False,0) : [];
  39     var sdaf = isE(x1);
  40     var z = isEmpty(x1);
  41     x.hd.snd = 8;
  42     return;
  43 }