diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 10:37:44 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 10:37:44 +0200 |
commit | 4fd500adc5a8eee72caca044bac5fd11ef10c6b5 (patch) | |
tree | 9c5267c477a746bbef2ba9eb360b7606434675b5 /testdata/typesig.reject.out | |
parent | 0dc09e81832aa1495ef9f213bf091f4a1620ab05 (diff) |
fix pretty print
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 0561886c..27b06da5 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
@@ -1,4 +1,4 @@ | |||
1 | focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) | 1 | focus checkMetas: \(a :: Type) -> (\b -> primFix a b) |
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 :: Type ~ _a) (b :: _a ~ X) -> typeAnn _a (_rhs X) |
4 | ------------ trace | 4 | ------------ trace |
@@ -6,7 +6,7 @@ focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) | |||
6 | X :: X | 6 | X :: X |
7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 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 :: Type) -> primFix a b) | 9 | !focus checkMetas: \(a :: Type) -> (\b -> primFix a b) |
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 :: Type ~ _a) (b :: _a ~ X) -> typeAnn _a (_rhs X) |
12 | ------------ tooltips | 12 | ------------ tooltips |