diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-13 13:54:06 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-13 13:54:06 +0000 |
| commit | 9142fcff76eabaabe984760c211be1a0f31bcb55 (patch) | |
| tree | cdf8b8e5fa53b9049f96d7a37affa38ae42e3408 | |
| parent | c25d7be8773f2a2ee643d1d266b02bd2076f04be (diff) | |
split the testsuite to different directories for compiler, runtime and libraries
| -rw-r--r-- | testsuite/check/lins/lins.gfs | 2 | ||||
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gf (renamed from testsuite/check/lins/lins.gf) | 0 | ||||
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gfs | 2 | ||||
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gfs.gold (renamed from testsuite/check/lins/lins.gfs.gold) | 0 | ||||
| -rw-r--r-- | testsuite/compiler/check/lins/linsCnc.gf (renamed from testsuite/check/lins/linsCnc.gf) | 0 | ||||
| -rw-r--r-- | testsuite/compiler/typecheck/Check.gf (renamed from testsuite/typecheck/Check.gf) | 0 | ||||
| -rw-r--r-- | testsuite/compiler/update/ArrityCheck.gf (renamed from testsuite/update/ArrityCheck.gf) | 0 | ||||
| -rw-r--r-- | testsuite/compiler/update/ArrityCheck.gfs | 1 | ||||
| -rw-r--r-- | testsuite/compiler/update/ArrityCheck.gfs.gold (renamed from testsuite/update/ArrityCheck.gfs.gold) | 2 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/City.gf (renamed from testsuite/paraphrase/City.gf) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/CityEng.gf (renamed from testsuite/paraphrase/CityEng.gf) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/Nat.gf (renamed from testsuite/paraphrase/Nat.gf) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/lambda.gf (renamed from testsuite/paraphrase/lambda.gf) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/lambda.gfs (renamed from testsuite/paraphrase/lambda.gfs) | 2 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/lambda.gfs.gold (renamed from testsuite/paraphrase/lambda.gfs.gold) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/test.gfs.gold (renamed from testsuite/paraphrase/test.gfs.gold) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/parser/Parse.hs (renamed from testsuite/parser/Parse.hs) | 0 | ||||
| -rw-r--r-- | testsuite/runtime/parser/trees.txt (renamed from testsuite/parser/trees.txt) | 0 | ||||
| -rw-r--r-- | testsuite/update/ArrityCheck.gfs | 1 |
19 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/check/lins/lins.gfs b/testsuite/check/lins/lins.gfs deleted file mode 100644 index fee8cec0f..000000000 --- a/testsuite/check/lins/lins.gfs +++ /dev/null @@ -1,2 +0,0 @@ -i -src -erasing=on testsuite\check\lins\linsCnc.gf
-pg -printer=pmcfg_pretty
diff --git a/testsuite/check/lins/lins.gf b/testsuite/compiler/check/lins/lins.gf index 9da3058d9..9da3058d9 100644 --- a/testsuite/check/lins/lins.gf +++ b/testsuite/compiler/check/lins/lins.gf diff --git a/testsuite/compiler/check/lins/lins.gfs b/testsuite/compiler/check/lins/lins.gfs new file mode 100644 index 000000000..f84b865d9 --- /dev/null +++ b/testsuite/compiler/check/lins/lins.gfs @@ -0,0 +1,2 @@ +i -src -erasing=on testsuite/compiler/check/lins/linsCnc.gf
+pg -printer=pmcfg_pretty
diff --git a/testsuite/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold index bce4d9d05..bce4d9d05 100644 --- a/testsuite/check/lins/lins.gfs.gold +++ b/testsuite/compiler/check/lins/lins.gfs.gold diff --git a/testsuite/check/lins/linsCnc.gf b/testsuite/compiler/check/lins/linsCnc.gf index 3d430f5a0..3d430f5a0 100644 --- a/testsuite/check/lins/linsCnc.gf +++ b/testsuite/compiler/check/lins/linsCnc.gf diff --git a/testsuite/typecheck/Check.gf b/testsuite/compiler/typecheck/Check.gf index 38d098209..38d098209 100644 --- a/testsuite/typecheck/Check.gf +++ b/testsuite/compiler/typecheck/Check.gf diff --git a/testsuite/update/ArrityCheck.gf b/testsuite/compiler/update/ArrityCheck.gf index 9ee03ba6e..9ee03ba6e 100644 --- a/testsuite/update/ArrityCheck.gf +++ b/testsuite/compiler/update/ArrityCheck.gf diff --git a/testsuite/compiler/update/ArrityCheck.gfs b/testsuite/compiler/update/ArrityCheck.gfs new file mode 100644 index 000000000..69d739975 --- /dev/null +++ b/testsuite/compiler/update/ArrityCheck.gfs @@ -0,0 +1 @@ +i testsuite/compiler/update/ArrityCheck.gf
diff --git a/testsuite/update/ArrityCheck.gfs.gold b/testsuite/compiler/update/ArrityCheck.gfs.gold index 924dddf1e..d6ea2bb0c 100644 --- a/testsuite/update/ArrityCheck.gfs.gold +++ b/testsuite/compiler/update/ArrityCheck.gfs.gold @@ -1,6 +1,6 @@ -C:\gf_2\testsuite\update\ArrityCheck.gf:6:1: cannot unify the informations
+C:\gf_2\testsuite\compiler\update\ArrityCheck.gf:6:1: cannot unify the informations
fun f : Int -> Int -> Int ;
def f 0 = \x -> x ;
and
diff --git a/testsuite/paraphrase/City.gf b/testsuite/runtime/paraphrase/City.gf index 2ea8a10ff..2ea8a10ff 100644 --- a/testsuite/paraphrase/City.gf +++ b/testsuite/runtime/paraphrase/City.gf diff --git a/testsuite/paraphrase/CityEng.gf b/testsuite/runtime/paraphrase/CityEng.gf index 39a0974c8..39a0974c8 100644 --- a/testsuite/paraphrase/CityEng.gf +++ b/testsuite/runtime/paraphrase/CityEng.gf diff --git a/testsuite/paraphrase/Nat.gf b/testsuite/runtime/paraphrase/Nat.gf index b55333472..b55333472 100644 --- a/testsuite/paraphrase/Nat.gf +++ b/testsuite/runtime/paraphrase/Nat.gf diff --git a/testsuite/paraphrase/lambda.gf b/testsuite/runtime/paraphrase/lambda.gf index 3476866c9..3476866c9 100644 --- a/testsuite/paraphrase/lambda.gf +++ b/testsuite/runtime/paraphrase/lambda.gf diff --git a/testsuite/paraphrase/lambda.gfs b/testsuite/runtime/paraphrase/lambda.gfs index 54b0708cb..5313751b5 100644 --- a/testsuite/paraphrase/lambda.gfs +++ b/testsuite/runtime/paraphrase/lambda.gfs @@ -1,4 +1,4 @@ -i testsuite/paraphrase/lambda.gf
+i testsuite/runtime/paraphrase/lambda.gf
pt -compute f1
pt -compute f2
diff --git a/testsuite/paraphrase/lambda.gfs.gold b/testsuite/runtime/paraphrase/lambda.gfs.gold index 0d8f027d6..0d8f027d6 100644 --- a/testsuite/paraphrase/lambda.gfs.gold +++ b/testsuite/runtime/paraphrase/lambda.gfs.gold diff --git a/testsuite/paraphrase/test.gfs.gold b/testsuite/runtime/paraphrase/test.gfs.gold index 82b443d48..82b443d48 100644 --- a/testsuite/paraphrase/test.gfs.gold +++ b/testsuite/runtime/paraphrase/test.gfs.gold diff --git a/testsuite/parser/Parse.hs b/testsuite/runtime/parser/Parse.hs index 4a828301d..4a828301d 100644 --- a/testsuite/parser/Parse.hs +++ b/testsuite/runtime/parser/Parse.hs diff --git a/testsuite/parser/trees.txt b/testsuite/runtime/parser/trees.txt index 2a968d4d2..2a968d4d2 100644 --- a/testsuite/parser/trees.txt +++ b/testsuite/runtime/parser/trees.txt diff --git a/testsuite/update/ArrityCheck.gfs b/testsuite/update/ArrityCheck.gfs deleted file mode 100644 index b63c0ca51..000000000 --- a/testsuite/update/ArrityCheck.gfs +++ /dev/null @@ -1 +0,0 @@ -i testsuite\update\ArrityCheck.gf
|
