Test Suite for Iphigeneia
=========================

This test suite is in the format of Falderal version 0.9.

    -> Functionality "Interpret Iphigeneia program" is implemented by
    -> shell command "bin/iphi %(test-body-file)"

    -> Tests for functionality "Interpret Iphigeneia program"

Test 'var ... in ...' and assignment.

    | var k in k := 5
    = k=5

Test 'begin ... end'.

    | var k in begin
    |     k := 5;
    |     k := k + 1
    | end
    = k=6

Test nested 'var ... in ...' and arithmetic operators.

    | var i in var j in var k in begin
    |     i := 2;
    |     j := 3;
    |     k := i + j;   (*  5 *)
    |     i := j * k;   (* 15 *)
    |     j := i / 2;   (*  7 *)
    |     j := j - 1    (*  6 *)
    | end
    = j=6
    = i=15
    = k=5

Test 'if ... then ... else' command with negative result.

    | var i in var j in begin
    |     i := 2;
    |     if i > 4 then
    |       j := i * 2
    |     else
    |       j := i + 1
    | end
    = j=3
    = i=2

Test 'if ... then ... else' command with positive result.

    | var i in var j in begin
    |     i := 2;
    |     j := 1;
    |     if i < 4 & j = 1 then
    |       j := i * 6
    |     else
    |       j := i + 1
    | end
    = j=12
    = i=2

Test 'while ... do ...'.

    | var i in var j in begin
    |     i := 100;
    |     j := 0;
    |     while i > 0 do begin
    |         j := j + i;
    |         i := i - 1
    |     end
    | end
    = i=0
    = j=5050

Test 'while ... do ...'.

    | var a in var b in var c in
    | begin
    |     a := 10;
    |     b := 1;
    |     c := 2;
    |     while a > 0 do
    |         begin
    |             b := b * c;
    |             c := c + b;
    |             a := a - 1
    |         end
    | end
    = a=0
    = c=140982598893793678070294688422804665931354981644880911847733136248186424030732278900819020480668973702640170212905160639132296847654374706155245147715674612235227680384069415566749494180212370357849936526549755341591854042821940420766722160615645816921368300
    = b=140982598893793678070294688422804665931354981644880911847733136248186424030732278900819020480668973702640170212905160639132296847278898210361175931159590631877400396153764977561991761037132722898953457959352992281368361865140291306311370294857131871923863552

Test 'if ... then ... else' expression with negative result.

    | var a in var b in var c in
    | begin
    |     a := 10;
    |     b := 2;
    |     c := if a > 20 then a - b else a / b
    | end
    = c=5
    = b=2
    = a=10

Test 'if ... then ... else' expression with positive result.

    | var a in var b in var c in
    | begin
    |     a := 10;
    |     b := 2;
    |     c := if a < 20 then a - b else a / b
    | end
    = c=8
    = b=2
    = a=10

Test 'let ... in ...'.

    | var a in a := let b = 7 in 10 - b;
    = a=3

Test 'valueof ... in ...'.

    | var a in var b in begin
    |     a := 10;
    |     b := valueof c in begin
    |         c := a * 2
    |     end + 7
    | end
    = b=27
    = a=10

Test that 'var ... in ...' does not shadow.

    | var a in var b in
    | begin
    |     a := 1;
    |     b := 2;
    |     var a in
    |         a := 3
    | end
    = ["Variable a already declared"]

Test that 'let ... in ...' does shadow.

    | var a in var b in
    | begin
    |     a := 2;
    |     b := 3;
    |     a := let b = 7 in a * b
    | end
    = a=14
    = b=3

Test 'loop ...' and 'repeat'.

    | var a in a :=
    |     let c = 5 in let d = 1 in
    |         loop
    |             if c = 0 then
    |                 d
    |             else
    |                 let d = d * c in
    |                     let c = c - 1 in
    |                         repeat
    = a=120