diff options
Diffstat (limited to 'testdata/language-features/basic-values')
3 files changed, 12 insertions, 12 deletions
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out index 00cb4f39..55011f4d 100644 --- a/testdata/language-features/basic-values/case04.reject.out +++ b/testdata/language-features/basic-values/case04.reject.out | |||
@@ -1,16 +1,16 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | [32m()[0m | 2 | () |
3 | with | 3 | with |
4 | [32m'Char[0m | 4 | 'Char |
5 | 5 | ||
6 | in testdata/language-features/basic-values/case04.reject.lc:2:8: | 6 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
7 | 1 -> '1' | 7 | 1 -> '1' |
8 | ^^^ | 8 | ^^^ |
9 | ------------ trace | 9 | ------------ trace |
10 | !type error: can not unify | 10 | !type error: can not unify |
11 | [32m()[0m | 11 | () |
12 | with | 12 | with |
13 | [32m'Char[0m | 13 | 'Char |
14 | 14 | ||
15 | in testdata/language-features/basic-values/case04.reject.lc:2:8: | 15 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
16 | 1 -> '1' | 16 | 1 -> '1' |
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out index 9ba86d9c..d72492c4 100644 --- a/testdata/language-features/basic-values/if03.reject.out +++ b/testdata/language-features/basic-values/if03.reject.out | |||
@@ -1,16 +1,16 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | [32m'Bool[0m | 2 | 'Bool |
3 | with | 3 | with |
4 | [32m()[0m | 4 | () |
5 | 5 | ||
6 | in testdata/language-features/basic-values/if03.reject.lc:1:13: | 6 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
7 | value1 = if () then () else () | 7 | value1 = if () then () else () |
8 | ^^ | 8 | ^^ |
9 | ------------ trace | 9 | ------------ trace |
10 | !type error: can not unify | 10 | !type error: can not unify |
11 | [32m'Bool[0m | 11 | 'Bool |
12 | with | 12 | with |
13 | [32m()[0m | 13 | () |
14 | 14 | ||
15 | in testdata/language-features/basic-values/if03.reject.lc:1:13: | 15 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
16 | value1 = if () then () else () | 16 | value1 = if () then () else () |
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out index c0df8c35..795be098 100644 --- a/testdata/language-features/basic-values/if04.reject.out +++ b/testdata/language-features/basic-values/if04.reject.out | |||
@@ -1,16 +1,16 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | [32m()[0m | 2 | () |
3 | with | 3 | with |
4 | [32m'Char[0m | 4 | 'Char |
5 | 5 | ||
6 | in testdata/language-features/basic-values/if04.reject.lc:1:31: | 6 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
7 | value1 = if True then () else '_' | 7 | value1 = if True then () else '_' |
8 | ^^^ | 8 | ^^^ |
9 | ------------ trace | 9 | ------------ trace |
10 | !type error: can not unify | 10 | !type error: can not unify |
11 | [32m()[0m | 11 | () |
12 | with | 12 | with |
13 | [32m'Char[0m | 13 | 'Char |
14 | 14 | ||
15 | in testdata/language-features/basic-values/if04.reject.lc:1:31: | 15 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
16 | value1 = if True then () else '_' | 16 | value1 = if True then () else '_' |