diff options
Diffstat (limited to 'testsuite/tests/parser/should_compile/KindSigs.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_compile/KindSigs.stderr | 231 |
1 files changed, 119 insertions, 112 deletions
diff --git a/testsuite/tests/parser/should_compile/KindSigs.stderr b/testsuite/tests/parser/should_compile/KindSigs.stderr index 13aa2e6147..a8597046e2 100644 --- a/testsuite/tests/parser/should_compile/KindSigs.stderr +++ b/testsuite/tests/parser/should_compile/KindSigs.stderr @@ -32,40 +32,39 @@ (ClosedTypeFamily (Just [({ KindSigs.hs:12:3-21 } - (HsIB + (FamEqn (NoExtField) - (FamEqn - (NoExtField) - ({ KindSigs.hs:12:3-5 } - (Unqual - {OccName: Foo})) - (Nothing) - [(HsValArg - ({ KindSigs.hs:12:7 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:12:7 } - (Unqual - {OccName: a})))))] - (Prefix) - ({ KindSigs.hs:12:11-21 } - (HsKindSig - (NoExtField) - ({ KindSigs.hs:12:11-13 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:12:11-13 } - (Unqual - {OccName: Int})))) - ({ KindSigs.hs:12:18-21 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:12:18-21 } - (Unqual - {OccName: Type})))))))))])) + ({ KindSigs.hs:12:3-5 } + (Unqual + {OccName: Foo})) + (HsOuterImplicit + (NoExtField)) + [(HsValArg + ({ KindSigs.hs:12:7 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:12:7 } + (Unqual + {OccName: a})))))] + (Prefix) + ({ KindSigs.hs:12:11-21 } + (HsKindSig + (NoExtField) + ({ KindSigs.hs:12:11-13 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:12:11-13 } + (Unqual + {OccName: Int})))) + ({ KindSigs.hs:12:18-21 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:12:18-21 } + (Unqual + {OccName: Type}))))))))])) ({ KindSigs.hs:11:13-15 } (Unqual {OccName: Foo})) @@ -271,63 +270,66 @@ {OccName: qux}))] (HsWC (NoExtField) - (HsIB - (NoExtField) - ({ KindSigs.hs:22:8-44 } - (HsFunTy - (NoExtField) - (HsUnrestrictedArrow - (NormalSyntax)) - ({ KindSigs.hs:22:8-20 } - (HsParTy - (NoExtField) - ({ KindSigs.hs:22:9-19 } - (HsKindSig - (NoExtField) - ({ KindSigs.hs:22:9-11 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:22:9-11 } - (Unqual - {OccName: Int})))) - ({ KindSigs.hs:22:16-19 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:22:16-19 } - (Unqual - {OccName: Type})))))))) - ({ KindSigs.hs:22:25-44 } - (HsFunTy - (NoExtField) - (HsUnrestrictedArrow - (NormalSyntax)) - ({ KindSigs.hs:22:25-28 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:22:25-28 } - (Unqual - {OccName: Bool})))) - ({ KindSigs.hs:22:33-44 } - (HsParTy - (NoExtField) - ({ KindSigs.hs:22:34-43 } - (HsKindSig - (NoExtField) - ({ KindSigs.hs:22:34-35 } - (HsTupleTy - (NoExtField) - (HsBoxedOrConstraintTuple) - [])) - ({ KindSigs.hs:22:40-43 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:22:40-43 } - (Unqual - {OccName: Type}))))))))))))))))) + ({ KindSigs.hs:22:8-44 } + (HsSig + (NoExtField) + (HsOuterImplicit + (NoExtField)) + ({ KindSigs.hs:22:8-44 } + (HsFunTy + (NoExtField) + (HsUnrestrictedArrow + (NormalSyntax)) + ({ KindSigs.hs:22:8-20 } + (HsParTy + (NoExtField) + ({ KindSigs.hs:22:9-19 } + (HsKindSig + (NoExtField) + ({ KindSigs.hs:22:9-11 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:22:9-11 } + (Unqual + {OccName: Int})))) + ({ KindSigs.hs:22:16-19 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:22:16-19 } + (Unqual + {OccName: Type})))))))) + ({ KindSigs.hs:22:25-44 } + (HsFunTy + (NoExtField) + (HsUnrestrictedArrow + (NormalSyntax)) + ({ KindSigs.hs:22:25-28 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:22:25-28 } + (Unqual + {OccName: Bool})))) + ({ KindSigs.hs:22:33-44 } + (HsParTy + (NoExtField) + ({ KindSigs.hs:22:34-43 } + (HsKindSig + (NoExtField) + ({ KindSigs.hs:22:34-35 } + (HsTupleTy + (NoExtField) + (HsBoxedOrConstraintTuple) + [])) + ({ KindSigs.hs:22:40-43 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:22:40-43 } + (Unqual + {OccName: Type})))))))))))))))))) ,({ KindSigs.hs:23:1-12 } (ValD (NoExtField) @@ -552,28 +554,31 @@ {OccName: true}))] (HsWC (NoExtField) - (HsIB - (NoExtField) - ({ KindSigs.hs:34:9-22 } - (HsParTy - (NoExtField) - ({ KindSigs.hs:34:10-21 } - (HsKindSig - (NoExtField) - ({ KindSigs.hs:34:10-13 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:34:10-13 } - (Unqual - {OccName: Bool})))) - ({ KindSigs.hs:34:18-21 } - (HsTyVar - (NoExtField) - (NotPromoted) - ({ KindSigs.hs:34:18-21 } - (Unqual - {OccName: Type}))))))))))))) + ({ KindSigs.hs:34:9-22 } + (HsSig + (NoExtField) + (HsOuterImplicit + (NoExtField)) + ({ KindSigs.hs:34:9-22 } + (HsParTy + (NoExtField) + ({ KindSigs.hs:34:10-21 } + (HsKindSig + (NoExtField) + ({ KindSigs.hs:34:10-13 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:34:10-13 } + (Unqual + {OccName: Bool})))) + ({ KindSigs.hs:34:18-21 } + (HsTyVar + (NoExtField) + (NotPromoted) + ({ KindSigs.hs:34:18-21 } + (Unqual + {OccName: Type})))))))))))))) ,({ KindSigs.hs:35:1-11 } (ValD (NoExtField) @@ -614,3 +619,5 @@ [])))] (Nothing) (Nothing))) + + |