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/typesig.reject.out | |
| parent | 6066e1154af07dd27733343199fd51758fed6c52 (diff) | |
implement constraint kinds
Diffstat (limited to 'testdata/typesig.reject.out')
| -rw-r--r-- | testdata/typesig.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 3e0ba61d..e69bd9cc 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | focus checkMetas: \(a :: Type) -> ((\b -> primFix a b) :: (a -> a) -> a) | 1 | focus checkMetas: \(a :: Type) -> ((\b -> primFix a b) :: (a -> a) -> a) |
| 2 | let a = Type in \(c :: Type) -> <<HERE>> | 2 | let a = Type in \(c :: Type) -> <<HERE>> |
| 3 | \(a :: Type ~ _a) (b :: _a ~ X) -> typeAnn _a (_rhs X) | 3 | \(a :: CW (Type ~ _a)) (b :: CW (_a ~ X)) -> typeAnn _a (_rhs X) |
| 4 | ------------ trace | 4 | ------------ trace |
| 5 | 'X :: Type | 5 | 'X :: Type |
| 6 | X :: X | 6 | X :: X |
| @@ -8,7 +8,7 @@ case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | |||
| 8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
| 9 | !focus checkMetas: \(a :: Type) -> ((\b -> primFix a b) :: (a -> a) -> a) | 9 | !focus checkMetas: \(a :: Type) -> ((\b -> primFix a b) :: (a -> a) -> a) |
| 10 | let a = Type in \(c :: Type) -> <<HERE>> | 10 | let a = Type in \(c :: Type) -> <<HERE>> |
| 11 | \(a :: Type ~ _a) (b :: _a ~ X) -> typeAnn _a (_rhs X) | 11 | \(a :: CW (Type ~ _a)) (b :: CW (_a ~ X)) -> typeAnn _a (_rhs X) |
| 12 | ------------ tooltips | 12 | ------------ tooltips |
| 13 | testdata/typesig.reject.lc 4:6-4:7 | 13 | testdata/typesig.reject.lc 4:6-4:7 |
| 14 | Type | Type | Type | Type | Type | 14 | Type | Type | Type | Type | Type |