diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-18 17:01:07 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-18 17:01:15 +0200 |
| commit | 94963d9fedafa68481dc0c1b9c0e14f2b4f233b5 (patch) | |
| tree | 057aac9625eb6a3c8606ea9e4a8beadb09898fe4 /testdata/typesigctx.reject.out | |
| parent | 3b65c82ce70a4ebac78bd7281d7f712fdb2d8667 (diff) | |
refactoring
Diffstat (limited to 'testdata/typesigctx.reject.out')
| -rw-r--r-- | testdata/typesigctx.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index 4c7aee3d..5ef46fed 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | type error: no instance of 'Show' on ??? | 1 | type error: no instance of 'Show' on ??? |
| 2 | in builtin 'Type pattern Wildcard2 | 2 | in Wildcard2 builtin 'Type |
| 3 | 3 | ||
| 4 | ------------ trace | 4 | ------------ trace |
| 5 | 'X :: [32mType[39m[K | 5 | 'X :: [32mType[39m[K |
| @@ -9,7 +9,7 @@ match'X :: [32m(b : Type->Type) -> b 'X -> d:Type -> b d -> b d[39m[K | |||
| 9 | 'Show' :: [32mType->Type[39m[K | 9 | 'Show' :: [32mType->Type[39m[K |
| 10 | show' :: [32m{a} -> {b : 'Show' a} -> a->'X[39m[K | 10 | show' :: [32m{a} -> {b : 'Show' a} -> a->'X[39m[K |
| 11 | !type error: no instance of 'Show' on ??? | 11 | !type error: no instance of 'Show' on ??? |
| 12 | in builtin 'Type pattern Wildcard2 | 12 | in Wildcard2 builtin 'Type |
| 13 | 13 | ||
| 14 | ------------ tooltips | 14 | ------------ tooltips |
| 15 | testdata/typesigctx.reject.lc 1:6-1:7 Type | 15 | testdata/typesigctx.reject.lc 1:6-1:7 Type |