diff options
Diffstat (limited to 'testdata')
-rw-r--r-- | testdata/language-features/adt/adt02.reject.out | 5 | ||||
-rw-r--r-- | testdata/language-features/adt/gadt04.reject.lc (renamed from testdata/language-features/adt/gadt04.wip.reject.lc) | 1 | ||||
-rw-r--r-- | testdata/language-features/adt/gadt04.reject.out | 6 | ||||
-rw-r--r-- | testdata/language-features/adt/gadt04.wip.reject.out | 3 | ||||
-rw-r--r-- | testdata/language-features/basic-values/def07.reject.out | 5 | ||||
-rw-r--r-- | testdata/language-features/basic-values/redefine01.reject.out | 5 | ||||
-rw-r--r-- | testdata/language-features/basic-values/typesyn03.reject.wip.out | 5 | ||||
-rw-r--r-- | testdata/language-features/basic-values/typesyn04.reject.wip.out | 5 | ||||
-rw-r--r-- | testdata/language-features/module/import04.reject.wip.out | 5 | ||||
-rw-r--r-- | testdata/language-features/module/import10.reject.wip.out | 5 | ||||
-rw-r--r-- | testdata/language-features/module/import11.reject.wip.out | 5 |
11 files changed, 38 insertions, 12 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out index 6f8e3489..4be74985 100644 --- a/testdata/language-features/adt/adt02.reject.out +++ b/testdata/language-features/adt/adt02.reject.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined thr3 at "testdata/language-features/adt/adt02.reject.lc" (line 5, column 13): | 1 | already defined thr3 at "testdata/language-features/adt/adt02.reject.lc" (line 10, column 9): |
2 | , thr3 :: Int | ||
3 | ^^^^ | ||
4 | and at "testdata/language-features/adt/adt02.reject.lc" (line 5, column 13): | ||
2 | , thr3 :: Bool | 5 | , thr3 :: Bool |
3 | ^^^^ \ No newline at end of file | 6 | ^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/adt/gadt04.wip.reject.lc b/testdata/language-features/adt/gadt04.reject.lc index 97fb734e..0290da53 100644 --- a/testdata/language-features/adt/gadt04.wip.reject.lc +++ b/testdata/language-features/adt/gadt04.reject.lc | |||
@@ -5,4 +5,3 @@ data M :: Type -> String -> Type where | |||
5 | data M2 :: Type -> String -> Type where | 5 | data M2 :: Type -> String -> Type where |
6 | Value :: a -> forall m . M2 a m | 6 | Value :: a -> forall m . M2 a m |
7 | 7 | ||
8 | -- NOTE: The compiler crashes, instead of compilation error | ||
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out new file mode 100644 index 00000000..d02a455c --- /dev/null +++ b/testdata/language-features/adt/gadt04.reject.out | |||
@@ -0,0 +1,6 @@ | |||
1 | already defined Value at "testdata/language-features/adt/gadt04.reject.lc" (line 6, column 3): | ||
2 | Value :: a -> forall m . M2 a m | ||
3 | ^^^^^ | ||
4 | and at "testdata/language-features/adt/gadt04.reject.lc" (line 3, column 3): | ||
5 | Value :: a -> forall m . M a m | ||
6 | ^^^^^ \ No newline at end of file | ||
diff --git a/testdata/language-features/adt/gadt04.wip.reject.out b/testdata/language-features/adt/gadt04.wip.reject.out deleted file mode 100644 index 20d44855..00000000 --- a/testdata/language-features/adt/gadt04.wip.reject.out +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | already defined Value at "testdata/language-features/adt/gadt04.wip.reject.lc" (line 3, column 3): | ||
2 | Value :: a -> forall m . M a m | ||
3 | ^^^^^ \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index eaa94222..9684e72e 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined fun at "testdata/language-features/basic-values/def07.reject.lc" (line 1, column 1): | 1 | already defined fun at "testdata/language-features/basic-values/def07.reject.lc" (line 4, column 1): |
2 | fun _ = '_' | ||
3 | ^^^ | ||
4 | and at "testdata/language-features/basic-values/def07.reject.lc" (line 1, column 1): | ||
2 | fun 1 = '1' | 5 | fun 1 = '1' |
3 | ^^^ \ No newline at end of file | 6 | ^^^ \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out index f1aa1f4b..d327df62 100644 --- a/testdata/language-features/basic-values/redefine01.reject.out +++ b/testdata/language-features/basic-values/redefine01.reject.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined unit at "testdata/language-features/basic-values/redefine01.reject.lc" (line 1, column 1): | 1 | already defined unit at "testdata/language-features/basic-values/redefine01.reject.lc" (line 3, column 1): |
2 | unit = () | ||
3 | ^^^^ | ||
4 | and at "testdata/language-features/basic-values/redefine01.reject.lc" (line 1, column 1): | ||
2 | unit = () | 5 | unit = () |
3 | ^^^^ \ No newline at end of file | 6 | ^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/typesyn03.reject.wip.out b/testdata/language-features/basic-values/typesyn03.reject.wip.out index 5af3b32d..1603c448 100644 --- a/testdata/language-features/basic-values/typesyn03.reject.wip.out +++ b/testdata/language-features/basic-values/typesyn03.reject.wip.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined 'MyUnit at "testdata/language-features/basic-values/typesyn03.reject.wip.lc" (line 1, column 6): | 1 | already defined 'MyUnit at "testdata/language-features/basic-values/typesyn03.reject.wip.lc" (line 2, column 6): |
2 | type MyUnit = () | ||
3 | ^^^^^^ | ||
4 | and at "testdata/language-features/basic-values/typesyn03.reject.wip.lc" (line 1, column 6): | ||
2 | type MyUnit = () | 5 | type MyUnit = () |
3 | ^^^^^^ \ No newline at end of file | 6 | ^^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/typesyn04.reject.wip.out b/testdata/language-features/basic-values/typesyn04.reject.wip.out index 62d05d81..249d56b1 100644 --- a/testdata/language-features/basic-values/typesyn04.reject.wip.out +++ b/testdata/language-features/basic-values/typesyn04.reject.wip.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined 'MyUnit at "testdata/language-features/basic-values/typesyn04.reject.wip.lc" (line 1, column 6): | 1 | already defined 'MyUnit at "testdata/language-features/basic-values/typesyn04.reject.wip.lc" (line 2, column 6): |
2 | type MyUnit = () | ||
3 | ^^^^^^ | ||
4 | and at "testdata/language-features/basic-values/typesyn04.reject.wip.lc" (line 1, column 6): | ||
2 | type MyUnit = () | 5 | type MyUnit = () |
3 | ^^^^^^ \ No newline at end of file | 6 | ^^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/module/import04.reject.wip.out b/testdata/language-features/module/import04.reject.wip.out index 62aa6e38..fbe94452 100644 --- a/testdata/language-features/module/import04.reject.wip.out +++ b/testdata/language-features/module/import04.reject.wip.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined hello at "testdata/language-features/module/Hello01.lc" (line 3, column 1): | 1 | already defined hello at "testdata/language-features/module/import04.reject.wip.lc" (line 4, column 1): |
2 | hello = "hello" | ||
3 | ^^^^^ | ||
4 | and at "testdata/language-features/module/Hello01.lc" (line 3, column 1): | ||
2 | -- redefine hello | 5 | -- redefine hello |
3 | ^^^^^ \ No newline at end of file | 6 | ^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/module/import10.reject.wip.out b/testdata/language-features/module/import10.reject.wip.out index a1fb7551..b05b6201 100644 --- a/testdata/language-features/module/import10.reject.wip.out +++ b/testdata/language-features/module/import10.reject.wip.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined 'MyUnit at "testdata/language-features/module/TypeSyn01.lc" (line 2, column 6): | 1 | already defined 'MyUnit at "testdata/language-features/module/import10.reject.wip.lc" (line 3, column 6): |
2 | type MyUnit = () | ||
3 | ^^^^^^ | ||
4 | and at "testdata/language-features/module/TypeSyn01.lc" (line 2, column 6): | ||
2 | 5 | ||
3 | ^^^^^^ \ No newline at end of file | 6 | ^^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/module/import11.reject.wip.out b/testdata/language-features/module/import11.reject.wip.out index a1fb7551..efa5bd07 100644 --- a/testdata/language-features/module/import11.reject.wip.out +++ b/testdata/language-features/module/import11.reject.wip.out | |||
@@ -1,3 +1,6 @@ | |||
1 | already defined 'MyUnit at "testdata/language-features/module/TypeSyn01.lc" (line 2, column 6): | 1 | already defined 'MyUnit at "testdata/language-features/module/import11.reject.wip.lc" (line 3, column 6): |
2 | type MyUnit = () | ||
3 | ^^^^^^ | ||
4 | and at "testdata/language-features/module/TypeSyn01.lc" (line 2, column 6): | ||
2 | 5 | ||
3 | ^^^^^^ \ No newline at end of file | 6 | ^^^^^^ \ No newline at end of file |