From bd0b056ea56643bcca1a23b78f72576f9459ce1b Mon Sep 17 00:00:00 2001 From: Krzysztof Gogolewski Date: Mon, 8 May 2023 18:48:33 +0200 Subject: Add a test for #17284 Since !10123 we now reject this program. --- compiler/GHC/Tc/Types.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler') diff --git a/compiler/GHC/Tc/Types.hs b/compiler/GHC/Tc/Types.hs index a6bab74fc0..28668b7979 100644 --- a/compiler/GHC/Tc/Types.hs +++ b/compiler/GHC/Tc/Types.hs @@ -1592,7 +1592,7 @@ instance Outputable TcIdSigInfo where ppr (CompleteSig { sig_bndr = bndr }) = ppr bndr <+> dcolon <+> ppr (idType bndr) ppr (PartialSig { psig_name = name, psig_hs_ty = hs_ty }) - = text "psig" <+> ppr name <+> dcolon <+> ppr hs_ty + = text "[partial signature]" <+> ppr name <+> dcolon <+> ppr hs_ty instance Outputable TcIdSigInst where ppr (TISI { sig_inst_sig = sig, sig_inst_skols = skols -- cgit v1.2.1