diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
| commit | 7e9105793bd0d5ff7197a5860ac5339dea677e0e (patch) | |
| tree | fa003b495b78a8b5cb5e6505c72a32bc6e80e1b3 /testdata/typesigctx.reject.out | |
| parent | a23ba9fced413f1b63640ba9bd81686a7eb59ee1 (diff) | |
switch to ansi-wl-pprint
Diffstat (limited to 'testdata/typesigctx.reject.out')
| -rw-r--r-- | testdata/typesigctx.reject.out | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index 6696ad4a..63c575ce 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
| @@ -2,12 +2,12 @@ type error: no instance of 'Show' on ??? | |||
| 2 | in Wildcard2 builtin 'Type | 2 | in Wildcard2 builtin 'Type |
| 3 | 3 | ||
| 4 | ------------ trace | 4 | ------------ trace |
| 5 | 'X :: [32mType[39m[K | 5 | 'X :: [32mType[0m |
| 6 | X :: [32m'X[39m[K | 6 | X :: [32m'X[0m |
| 7 | 'XCase :: [32m(a : 'X->Type) -> a X -> (b:'X) -> a b[39m[K | 7 | 'XCase :: [32m([32ma[0;32m : 'X->Type) -> [32m[32ma[0;32m [32mX[0;32m[0;32m -> ([32mb[0;32m:'X) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 8 | match'X :: [32m(a : Type->Type) -> a 'X -> (b:Type) -> a b -> a b[39m[K | 8 | match'X :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'X[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 9 | 'Show' :: [32mType->Type[39m[K | 9 | 'Show' :: [32mType->Type[0m |
| 10 | show' :: [32m{a} -> {_ : 'Show' a} -> a->'X[39m[K | 10 | show' :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Show' [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'X[0m |
| 11 | !type error: no instance of 'Show' on ??? | 11 | !type error: no instance of 'Show' on ??? |
| 12 | in Wildcard2 builtin 'Type | 12 | in Wildcard2 builtin 'Type |
| 13 | 13 | ||