diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 10:22:48 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 10:22:48 +0200 |
| commit | 0dc09e81832aa1495ef9f213bf091f4a1620ab05 (patch) | |
| tree | 059176dd57bbf586184794a67b32384790ada293 /testdata | |
| parent | c4dc2ffc92a19e93ec4b3876364c12074681ecbf (diff) | |
print reduced result in .out file
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/instantiate2.out | 2 | ||||
| -rw-r--r-- | testdata/language-features/basic-list/dotdot01.out | 4 | ||||
| -rw-r--r-- | testdata/primes.out | 2 |
3 files changed, 5 insertions, 3 deletions
diff --git a/testdata/instantiate2.out b/testdata/instantiate2.out index 24bcda66..94306cec 100644 --- a/testdata/instantiate2.out +++ b/testdata/instantiate2.out | |||
| @@ -1 +1 @@ | |||
| (+ ('VecS 'Float 2) TT (V2 1.0 2.0) (V2 2.3 3.4), + 'Float TT 1.0 2.0) \ No newline at end of file | (PrimAdd ('VecS 'Float 2) TT (V2 1.0 2.0) (V2 2.3 3.4), 3.0) \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/dotdot01.out b/testdata/language-features/basic-list/dotdot01.out index 88d050b1..36d7c623 100644 --- a/testdata/language-features/basic-list/dotdot01.out +++ b/testdata/language-features/basic-list/dotdot01.out | |||
| @@ -1 +1,3 @@ | |||
| 1 | main \ No newline at end of file | 1 | : |
| 2 | 1.0 | ||
| 3 | (: 2.0 (: 3.0 (: 4.0 (: 5.0 (: 6.0 (: 7.0 (: 8.0 (: 9.0 (: 10.0 []))))))))) \ No newline at end of file | ||
diff --git a/testdata/primes.out b/testdata/primes.out index 88d050b1..b74e882a 100644 --- a/testdata/primes.out +++ b/testdata/primes.out | |||
| @@ -1 +1 @@ | |||
| main \ No newline at end of file | 31 \ No newline at end of file | ||