tests/lang.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

source common.sh

fail=0

for i in lang/parse-fail-*.nix; do
    echo "parsing $i (should fail)";
    i=$(basename $i .nix)
    if $TOP/src/nix-instantiate/nix-instantiate --parse-only - < lang/$i.nix; then
        echo "FAIL: $i shouldn't parse"
        fail=1
    fi
done

for i in lang/parse-okay-*.nix; do
    echo "parsing $i (should succeed)";
    i=$(basename $i .nix)
    if ! $TOP/src/nix-instantiate/nix-instantiate --parse-only - < lang/$i.nix > lang/$i.ast; then
        echo "FAIL: $i should parse"
        fail=1
    fi
    if ! $aterm_bin/atdiff lang/$i.ast lang/$i.exp; then
        echo "FAIL: parse tree of $i not as expected"
        fail=1
    fi
done

for i in lang/eval-fail-*.nix; do
    echo "evaluating $i (should fail)";
    i=$(basename $i .nix)
    if $TOP/src/nix-instantiate/nix-instantiate --eval-only - < lang/$i.nix; then
        echo "FAIL: $i shouldn't evaluate"
        fail=1
    fi
done

for i in lang/eval-okay-*.nix; do
    echo "evaluating $i (should succeed)";
    i=$(basename $i .nix)
    if ! $TOP/src/nix-instantiate/nix-instantiate --eval-only - < lang/$i.nix > lang/$i.out; then
        echo "FAIL: $i should evaluate"
        fail=1
    fi
    if ! $aterm_bin/atdiff lang/$i.out lang/$i.exp; then
        echo "FAIL: evaluation result of $i not as expected"
        fail=1
    fi
done

exit $fail