Add kind equalities to GHC.
[ghc.git] / testsuite / tests / partial-sigs / should_fail /
drwxr-xr-x   ..
-rw-r--r-- 324 AnnotatedConstraint.hs
-rw-r--r-- 249 AnnotatedConstraint.stderr
-rw-r--r-- 354 AnnotatedConstraintNotForgotten.hs
-rw-r--r-- 184 AnnotatedConstraintNotForgotten.stderr
-rw-r--r-- 243 Defaulting1MROff.hs
-rw-r--r-- 243 Defaulting1MROff.stderr
-rw-r--r-- 91 ExtraConstraintsWildcardInExpressionSignature.hs
-rw-r--r-- 154 ExtraConstraintsWildcardInExpressionSignature.stderr
-rw-r--r-- 123 ExtraConstraintsWildcardInPatternSignature.hs
-rw-r--r-- 147 ExtraConstraintsWildcardInPatternSignature.stderr
-rw-r--r-- 153 ExtraConstraintsWildcardInPatternSplice.hs
-rw-r--r-- 139 ExtraConstraintsWildcardInPatternSplice.stderr
-rw-r--r-- 155 ExtraConstraintsWildcardInTypeSplice.hs
-rw-r--r-- 207 ExtraConstraintsWildcardInTypeSplice2.hs
-rw-r--r-- 165 ExtraConstraintsWildcardInTypeSplice2.stderr
-rw-r--r-- 234 ExtraConstraintsWildcardInTypeSpliceUsed.hs
-rw-r--r-- 445 ExtraConstraintsWildcardInTypeSpliceUsed.stderr
-rw-r--r-- 199 ExtraConstraintsWildcardNotEnabled.hs
-rw-r--r-- 240 ExtraConstraintsWildcardNotEnabled.stderr
-rw-r--r-- 128 ExtraConstraintsWildcardNotLast.hs
-rw-r--r-- 247 ExtraConstraintsWildcardNotLast.stderr
-rw-r--r-- 385 ExtraConstraintsWildcardNotPresent.hs
-rw-r--r-- 302 ExtraConstraintsWildcardNotPresent.stderr
-rw-r--r-- 125 ExtraConstraintsWildcardTwice.hs
-rw-r--r-- 246 ExtraConstraintsWildcardTwice.stderr
-rw-r--r-- 185 Forall1Bad.hs
-rw-r--r-- 185 Forall1Bad.stderr
-rw-r--r-- 154 InstantiatedNamedWildcardsInConstraints.hs
-rw-r--r-- 844 InstantiatedNamedWildcardsInConstraints.stderr
-rw-r--r-- 72 Makefile
-rw-r--r-- 143 NamedExtraConstraintsWildcard.hs
-rw-r--r-- 196 NamedExtraConstraintsWildcard.stderr
-rw-r--r-- 254 NamedWildcardInDataFamilyInstanceLHS.hs
-rw-r--r-- 150 NamedWildcardInDataFamilyInstanceLHS.stderr
-rw-r--r-- 118 NamedWildcardInTypeFamilyInstanceLHS.hs
-rw-r--r-- 146 NamedWildcardInTypeFamilyInstanceLHS.stderr
-rw-r--r-- 178 NamedWildcardInTypeSplice.hs
-rw-r--r-- 352 NamedWildcardInTypeSplice.stderr
-rw-r--r-- 98 NamedWildcardsEnabled.hs
-rw-r--r-- 635 NamedWildcardsEnabled.stderr
-rw-r--r-- 160 NamedWildcardsNotEnabled.hs
-rw-r--r-- 993 NamedWildcardsNotEnabled.stderr
-rw-r--r-- 215 NamedWildcardsNotInMonotype.hs
-rw-r--r-- 564 NamedWildcardsNotInMonotype.stderr
-rw-r--r-- 142 NestedExtraConstraintsWildcard.hs
-rw-r--r-- 247 NestedExtraConstraintsWildcard.stderr
-rw-r--r-- 164 NestedNamedExtraConstraintsWildcard.hs
-rw-r--r-- 149 NestedNamedExtraConstraintsWildcard.stderr
-rw-r--r-- 116 PartialClassMethodSignature.hs
-rw-r--r-- 130 PartialClassMethodSignature.stderr
-rw-r--r-- 129 PartialClassMethodSignature2.hs
-rw-r--r-- 131 PartialClassMethodSignature2.stderr
-rw-r--r-- 128 PartialTypeSignaturesDisabled.hs
-rw-r--r-- 661 PartialTypeSignaturesDisabled.stderr
-rw-r--r-- 310 ScopedNamedWildcardsBad.hs
-rw-r--r-- 190 ScopedNamedWildcardsBad.stderr
-rw-r--r-- 139 T10045.hs
-rw-r--r-- 961 T10045.stderr
-rw-r--r-- 101 T10615.hs
-rw-r--r-- 1453 T10615.stderr
-rw-r--r-- 135 T10999.hs
-rw-r--r-- 629 T10999.stderr
-rw-r--r-- 337 TidyClash.hs
-rw-r--r-- 892 TidyClash.stderr
-rw-r--r-- 152 TidyClash2.hs
-rw-r--r-- 2278 TidyClash2.stderr
-rw-r--r-- 124 UnnamedConstraintWildcard1.hs
-rw-r--r-- 243 UnnamedConstraintWildcard1.stderr
-rw-r--r-- 121 UnnamedConstraintWildcard2.hs
-rw-r--r-- 242 UnnamedConstraintWildcard2.stderr
-rw-r--r-- 98 WildcardInADT1.hs
-rw-r--r-- 123 WildcardInADT1.stderr
-rw-r--r-- 107 WildcardInADT2.hs
-rw-r--r-- 123 WildcardInADT2.stderr
-rw-r--r-- 115 WildcardInADT3.hs
-rw-r--r-- 123 WildcardInADT3.stderr
-rw-r--r-- 138 WildcardInADTContext1.hs
-rw-r--r-- 294 WildcardInADTContext1.stderr
-rw-r--r-- 153 WildcardInADTContext2.hs
-rw-r--r-- 295 WildcardInADTContext2.stderr
-rw-r--r-- 83 WildcardInDefault.hs
-rw-r--r-- 105 WildcardInDefault.stderr
-rw-r--r-- 119 WildcardInDefaultSignature.hs
-rw-r--r-- 127 WildcardInDefaultSignature.stderr
-rw-r--r-- 115 WildcardInDeriving.hs
-rw-r--r-- 122 WildcardInDeriving.stderr
-rw-r--r-- 175 WildcardInForeignExport.hs
-rw-r--r-- 125 WildcardInForeignExport.stderr
-rw-r--r-- 170 WildcardInForeignImport.hs
-rw-r--r-- 127 WildcardInForeignImport.stderr
-rw-r--r-- 122 WildcardInGADT1.hs
-rw-r--r-- 124 WildcardInGADT1.stderr
-rw-r--r-- 132 WildcardInGADT2.hs
-rw-r--r-- 124 WildcardInGADT2.stderr
-rw-r--r-- 137 WildcardInInstanceHead.hs
-rw-r--r-- 124 WildcardInInstanceHead.stderr
-rw-r--r-- 125 WildcardInInstanceSig.hs
-rw-r--r-- 127 WildcardInInstanceSig.stderr
-rw-r--r-- 224 WildcardInNewtype.hs
-rw-r--r-- 126 WildcardInNewtype.stderr
-rw-r--r-- 135 WildcardInPatSynSig.hs
-rw-r--r-- 128 WildcardInPatSynSig.stderr
-rw-r--r-- 99 WildcardInStandaloneDeriving.hs
-rw-r--r-- 188 WildcardInStandaloneDeriving.stderr
-rw-r--r-- 200 WildcardInTypeFamilyInstanceRHS.hs
-rw-r--r-- 139 WildcardInTypeFamilyInstanceRHS.stderr
-rw-r--r-- 95 WildcardInTypeSynonymLHS.hs
-rw-r--r-- 168 WildcardInTypeSynonymLHS.stderr
-rw-r--r-- 97 WildcardInTypeSynonymRHS.hs
-rw-r--r-- 131 WildcardInTypeSynonymRHS.stderr
-rw-r--r-- 190 WildcardInstantiations.hs
-rw-r--r-- 2758 WildcardInstantiations.stderr
-rw-r--r-- 165 WildcardsInPatternAndExprSig.hs
-rw-r--r-- 3326 WildcardsInPatternAndExprSig.stderr
-rw-r--r-- 3683 all.T