diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 16:41:56 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 16:41:56 +0200 |
| commit | d09859323b7213d6b3c3baf485d8389100faf469 (patch) | |
| tree | eda20598a3729354cd702e847d648dadfa3acf44 /testdata/typesigctx.reject.out | |
| parent | 6066e1154af07dd27733343199fd51758fed6c52 (diff) | |
implement constraint kinds
Diffstat (limited to 'testdata/typesigctx.reject.out')
| -rw-r--r-- | testdata/typesigctx.reject.out | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index 631b9a16..5be24987 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
| @@ -5,8 +5,8 @@ in Wildcard2 builtin 'Type | |||
| 5 | X :: X | 5 | X :: X |
| 6 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 6 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
| 7 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 7 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
| 8 | 'Show' :: Type -> Type | 8 | 'Show' :: Type -> Constraint |
| 9 | show' :: forall a . Show' a => a -> X | 9 | show' :: forall a . Empty "no instance of 'Show' on ???" => a -> X |
| 10 | !type error: no instance of 'Show' on ??? | 10 | !type error: no instance of 'Show' on ??? |
| 11 | in Wildcard2 builtin 'Type | 11 | in Wildcard2 builtin 'Type |
| 12 | ------------ tooltips | 12 | ------------ tooltips |
| @@ -17,11 +17,11 @@ testdata/typesigctx.reject.lc 1:6-1:11 | |||
| 17 | testdata/typesigctx.reject.lc 1:10-1:11 | 17 | testdata/typesigctx.reject.lc 1:10-1:11 |
| 18 | X | 18 | X |
| 19 | testdata/typesigctx.reject.lc 3:7-3:12 | 19 | testdata/typesigctx.reject.lc 3:7-3:12 |
| 20 | Type -> Type | Type -> Type | 20 | Type -> Constraint | Type -> Constraint | Constraint |
| 21 | testdata/typesigctx.reject.lc 3:7-3:36 | 21 | testdata/typesigctx.reject.lc 3:7-3:36 |
| 22 | Type | 22 | Type |
| 23 | testdata/typesigctx.reject.lc 3:21-3:26 | 23 | testdata/typesigctx.reject.lc 3:21-3:26 |
| 24 | forall a . Show' a => a -> X | 24 | forall a . Empty "no instance of 'Show' on ???" => a -> X |
| 25 | testdata/typesigctx.reject.lc 3:30-3:31 | 25 | testdata/typesigctx.reject.lc 3:30-3:31 |
| 26 | Type | 26 | Type |
| 27 | testdata/typesigctx.reject.lc 3:30-3:36 | 27 | testdata/typesigctx.reject.lc 3:30-3:36 |
| @@ -31,4 +31,4 @@ testdata/typesigctx.reject.lc 3:35-3:36 | |||
| 31 | testdata/typesigctx.reject.lc 5:11-5:12 | 31 | testdata/typesigctx.reject.lc 5:11-5:12 |
| 32 | Type | 32 | Type |
| 33 | testdata/typesigctx.reject.lc 6:10-6:15 | 33 | testdata/typesigctx.reject.lc 6:10-6:15 |
| 34 | forall a . Show' a => a -> X \ No newline at end of file | 34 | forall a . Empty "no instance of 'Show' on ???" => a -> X \ No newline at end of file |