diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-17 13:14:00 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-17 13:16:15 +0000 |
commit | 8d401e50ce35525dcdc6a21fcf952c3cbf3a72d4 (patch) | |
tree | b437497e10ad09b165beb126cf0b22b161d54804 | |
parent | e52a335d3ae2437f3705baa8c81e3a62ebdd75ab (diff) | |
download | haskell-8d401e50ce35525dcdc6a21fcf952c3cbf3a72d4.tar.gz |
Honour -dsuppress-uniques more thoroughly
I found that tests
parser/should_compile/DumpRenamedAst
and friends were printing uniques, which makes the test fragile.
But -dsuppress-uniques made no difference! It turned out that
pprName wasn't properly consulting Opt_SuppressUniques.
This patch fixes the problem, and updates those three tests to
use -dsuppress-uniques
-rw-r--r-- | compiler/basicTypes/Name.hs | 16 | ||||
-rw-r--r-- | compiler/basicTypes/Unique.hs | 13 | ||||
-rw-r--r-- | compiler/cmm/CLabel.hs | 24 | ||||
-rw-r--r-- | compiler/llvmGen/Llvm/PpLlvm.hs | 2 | ||||
-rw-r--r-- | compiler/nativeGen/PPC/Ppr.hs | 12 | ||||
-rw-r--r-- | compiler/nativeGen/Reg.hs | 10 | ||||
-rw-r--r-- | compiler/nativeGen/SPARC/Ppr.hs | 12 | ||||
-rw-r--r-- | compiler/nativeGen/X86/Ppr.hs | 12 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpParsedAst.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpRenamedAst.stderr | 46 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr | 26 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/all.T | 6 |
12 files changed, 96 insertions, 85 deletions
diff --git a/compiler/basicTypes/Name.hs b/compiler/basicTypes/Name.hs index 5d47613716..970f4cc411 100644 --- a/compiler/basicTypes/Name.hs +++ b/compiler/basicTypes/Name.hs @@ -560,7 +560,7 @@ pprExternal sty uniq mod occ is_wired is_builtin pprInternal :: PprStyle -> Unique -> OccName -> SDoc pprInternal sty uniq occ - | codeStyle sty = pprUnique uniq + | codeStyle sty = pprUniqueAlways uniq | debugStyle sty = ppr_occ_name occ <> braces (hsep [pprNameSpaceBrief (occNameSpace occ), pprUnique uniq]) | dumpStyle sty = ppr_occ_name occ <> ppr_underscore_unique uniq @@ -571,7 +571,7 @@ pprInternal sty uniq occ -- Like Internal, except that we only omit the unique in Iface style pprSystem :: PprStyle -> Unique -> OccName -> SDoc pprSystem sty uniq occ - | codeStyle sty = pprUnique uniq + | codeStyle sty = pprUniqueAlways uniq | debugStyle sty = ppr_occ_name occ <> ppr_underscore_unique uniq <> braces (pprNameSpaceBrief (occNameSpace occ)) | otherwise = ppr_occ_name occ <> ppr_underscore_unique uniq @@ -594,14 +594,20 @@ pprModulePrefix sty mod occ = sdocWithDynFlags $ \dflags -> <> ppr (moduleName mod) <> dot -- scope either NameUnqual -> empty -- In scope unqualified +pprUnique :: Unique -> SDoc +-- Print a unique unless we are suppressing them +pprUnique uniq + = sdocWithDynFlags $ \dflags -> + ppUnless (gopt Opt_SuppressUniques dflags) $ + pprUniqueAlways uniq + ppr_underscore_unique :: Unique -> SDoc -- Print an underscore separating the name from its unique -- But suppress it if we aren't printing the uniques anyway ppr_underscore_unique uniq = sdocWithDynFlags $ \dflags -> - if gopt Opt_SuppressUniques dflags - then empty - else char '_' <> pprUnique uniq + ppUnless (gopt Opt_SuppressUniques dflags) $ + char '_' <> pprUniqueAlways uniq ppr_occ_name :: OccName -> SDoc ppr_occ_name occ = ftext (occNameFS occ) diff --git a/compiler/basicTypes/Unique.hs b/compiler/basicTypes/Unique.hs index f93a4b1bab..8e0f5e6f36 100644 --- a/compiler/basicTypes/Unique.hs +++ b/compiler/basicTypes/Unique.hs @@ -26,7 +26,7 @@ module Unique ( -- ** Constructors, destructors and operations on 'Unique's hasKey, - pprUnique, + pprUniqueAlways, mkUniqueGrimily, -- Used in UniqSupply only! getKey, -- Used in Var, UniqFM, Name only! @@ -280,11 +280,16 @@ finish_show 't' u _pp_u | u < 26 [chr (ord 'a' + u)] finish_show tag _ pp_u = tag : pp_u -pprUnique :: Unique -> SDoc -pprUnique u = text (showUnique u) +pprUniqueAlways :: Unique -> SDoc +-- The "always" means regardless of -dsuppress-uniques +-- It replaces the old pprUnique to remind callers that +-- they should consider whether they want to consult +-- Opt_SuppressUniques +pprUniqueAlways u + = text (showUnique u) instance Outputable Unique where - ppr = pprUnique + ppr = pprUniqueAlways instance Show Unique where show uniq = showUnique uniq diff --git a/compiler/cmm/CLabel.hs b/compiler/cmm/CLabel.hs index 2f382039be..5f13bed309 100644 --- a/compiler/cmm/CLabel.hs +++ b/compiler/cmm/CLabel.hs @@ -1085,14 +1085,14 @@ pprCLabel platform (AsmTempLabel u) | cGhcWithNativeCodeGen == "YES" = getPprStyle $ \ sty -> if asmStyle sty then - ptext (asmTempLabelPrefix platform) <> pprUnique u + ptext (asmTempLabelPrefix platform) <> pprUniqueAlways u else - char '_' <> pprUnique u + char '_' <> pprUniqueAlways u pprCLabel platform (AsmTempDerivedLabel l suf) | cGhcWithNativeCodeGen == "YES" = ptext (asmTempLabelPrefix platform) - <> case l of AsmTempLabel u -> pprUnique u + <> case l of AsmTempLabel u -> pprUniqueAlways u _other -> pprCLabel platform l <> ftext suf @@ -1110,7 +1110,7 @@ pprCLabel platform (DeadStripPreventer lbl) pprCLabel _ (StringLitLabel u) | cGhcWithNativeCodeGen == "YES" - = pprUnique u <> ptext (sLit "_str") + = pprUniqueAlways u <> ptext (sLit "_str") pprCLabel platform lbl = getPprStyle $ \ sty -> @@ -1134,22 +1134,22 @@ pprAsmCLbl _ lbl pprCLbl :: CLabel -> SDoc pprCLbl (StringLitLabel u) - = pprUnique u <> text "_str" + = pprUniqueAlways u <> text "_str" pprCLbl (CaseLabel u CaseReturnPt) - = hcat [pprUnique u, text "_ret"] + = hcat [pprUniqueAlways u, text "_ret"] pprCLbl (CaseLabel u CaseReturnInfo) - = hcat [pprUnique u, text "_info"] + = hcat [pprUniqueAlways u, text "_info"] pprCLbl (CaseLabel u (CaseAlt tag)) - = hcat [pprUnique u, pp_cSEP, int tag, text "_alt"] + = hcat [pprUniqueAlways u, pp_cSEP, int tag, text "_alt"] pprCLbl (CaseLabel u CaseDefault) - = hcat [pprUnique u, text "_dflt"] + = hcat [pprUniqueAlways u, text "_dflt"] pprCLbl (SRTLabel u) - = pprUnique u <> pp_cSEP <> text "srt" + = pprUniqueAlways u <> pp_cSEP <> text "srt" -pprCLbl (LargeSRTLabel u) = pprUnique u <> pp_cSEP <> text "srtd" -pprCLbl (LargeBitmapLabel u) = text "b" <> pprUnique u <> pp_cSEP <> text "btm" +pprCLbl (LargeSRTLabel u) = pprUniqueAlways u <> pp_cSEP <> text "srtd" +pprCLbl (LargeBitmapLabel u) = text "b" <> pprUniqueAlways u <> pp_cSEP <> text "btm" -- Some bitsmaps for tuple constructors have a numeric tag (e.g. '7') -- until that gets resolved we'll just force them to start -- with a letter so the label will be legal assmbly code. diff --git a/compiler/llvmGen/Llvm/PpLlvm.hs b/compiler/llvmGen/Llvm/PpLlvm.hs index cdf8cc7791..293999bd1e 100644 --- a/compiler/llvmGen/Llvm/PpLlvm.hs +++ b/compiler/llvmGen/Llvm/PpLlvm.hs @@ -196,7 +196,7 @@ ppLlvmBlock (LlvmBlock blockId stmts) = -- | Print out an LLVM block label. ppLlvmBlockLabel :: LlvmBlockId -> SDoc -ppLlvmBlockLabel id = pprUnique id <> colon +ppLlvmBlockLabel id = pprUniqueAlways id <> colon -- | Print out an LLVM statement. diff --git a/compiler/nativeGen/PPC/Ppr.hs b/compiler/nativeGen/PPC/Ppr.hs index fcd084b8ae..0a1657ddf1 100644 --- a/compiler/nativeGen/PPC/Ppr.hs +++ b/compiler/nativeGen/PPC/Ppr.hs @@ -24,7 +24,7 @@ import Hoopl import CLabel -import Unique ( pprUnique, Uniquable(..) ) +import Unique ( pprUniqueAlways, Uniquable(..) ) import Platform import FastString import Outputable @@ -172,11 +172,11 @@ pprReg r = case r of RegReal (RealRegSingle i) -> ppr_reg_no i RegReal (RealRegPair{}) -> panic "PPC.pprReg: no reg pairs on this arch" - RegVirtual (VirtualRegI u) -> text "%vI_" <> pprUnique u - RegVirtual (VirtualRegHi u) -> text "%vHi_" <> pprUnique u - RegVirtual (VirtualRegF u) -> text "%vF_" <> pprUnique u - RegVirtual (VirtualRegD u) -> text "%vD_" <> pprUnique u - RegVirtual (VirtualRegSSE u) -> text "%vSSE_" <> pprUnique u + RegVirtual (VirtualRegI u) -> text "%vI_" <> pprUniqueAlways u + RegVirtual (VirtualRegHi u) -> text "%vHi_" <> pprUniqueAlways u + RegVirtual (VirtualRegF u) -> text "%vF_" <> pprUniqueAlways u + RegVirtual (VirtualRegD u) -> text "%vD_" <> pprUniqueAlways u + RegVirtual (VirtualRegSSE u) -> text "%vSSE_" <> pprUniqueAlways u where ppr_reg_no :: Int -> SDoc ppr_reg_no i = diff --git a/compiler/nativeGen/Reg.hs b/compiler/nativeGen/Reg.hs index ea32d1045b..598074d881 100644 --- a/compiler/nativeGen/Reg.hs +++ b/compiler/nativeGen/Reg.hs @@ -90,11 +90,11 @@ instance Uniquable VirtualReg where instance Outputable VirtualReg where ppr reg = case reg of - VirtualRegI u -> text "%vI_" <> pprUnique u - VirtualRegHi u -> text "%vHi_" <> pprUnique u - VirtualRegF u -> text "%vF_" <> pprUnique u - VirtualRegD u -> text "%vD_" <> pprUnique u - VirtualRegSSE u -> text "%vSSE_" <> pprUnique u + VirtualRegI u -> text "%vI_" <> pprUniqueAlways u + VirtualRegHi u -> text "%vHi_" <> pprUniqueAlways u + VirtualRegF u -> text "%vF_" <> pprUniqueAlways u + VirtualRegD u -> text "%vD_" <> pprUniqueAlways u + VirtualRegSSE u -> text "%vSSE_" <> pprUniqueAlways u renameVirtualReg :: Unique -> VirtualReg -> VirtualReg diff --git a/compiler/nativeGen/SPARC/Ppr.hs b/compiler/nativeGen/SPARC/Ppr.hs index 6763061dd3..5d6b6f70dc 100644 --- a/compiler/nativeGen/SPARC/Ppr.hs +++ b/compiler/nativeGen/SPARC/Ppr.hs @@ -41,7 +41,7 @@ import PprCmm() import CLabel import Hoopl -import Unique ( Uniquable(..), pprUnique ) +import Unique ( Uniquable(..), pprUniqueAlways ) import Outputable import Platform import FastString @@ -148,11 +148,11 @@ pprReg reg = case reg of RegVirtual vr -> case vr of - VirtualRegI u -> text "%vI_" <> pprUnique u - VirtualRegHi u -> text "%vHi_" <> pprUnique u - VirtualRegF u -> text "%vF_" <> pprUnique u - VirtualRegD u -> text "%vD_" <> pprUnique u - VirtualRegSSE u -> text "%vSSE_" <> pprUnique u + VirtualRegI u -> text "%vI_" <> pprUniqueAlways u + VirtualRegHi u -> text "%vHi_" <> pprUniqueAlways u + VirtualRegF u -> text "%vF_" <> pprUniqueAlways u + VirtualRegD u -> text "%vD_" <> pprUniqueAlways u + VirtualRegSSE u -> text "%vSSE_" <> pprUniqueAlways u RegReal rr -> case rr of diff --git a/compiler/nativeGen/X86/Ppr.hs b/compiler/nativeGen/X86/Ppr.hs index 1864fc1ba8..223ea13994 100644 --- a/compiler/nativeGen/X86/Ppr.hs +++ b/compiler/nativeGen/X86/Ppr.hs @@ -37,7 +37,7 @@ import BasicTypes (Alignment) import DynFlags import Cmm hiding (topInfoTable) import CLabel -import Unique ( pprUnique, Uniquable(..) ) +import Unique ( pprUniqueAlways, Uniquable(..) ) import Platform import FastString import Outputable @@ -220,11 +220,11 @@ pprReg f r if target32Bit platform then ppr32_reg_no f i else ppr64_reg_no f i RegReal (RealRegPair _ _) -> panic "X86.Ppr: no reg pairs on this arch" - RegVirtual (VirtualRegI u) -> text "%vI_" <> pprUnique u - RegVirtual (VirtualRegHi u) -> text "%vHi_" <> pprUnique u - RegVirtual (VirtualRegF u) -> text "%vF_" <> pprUnique u - RegVirtual (VirtualRegD u) -> text "%vD_" <> pprUnique u - RegVirtual (VirtualRegSSE u) -> text "%vSSE_" <> pprUnique u + RegVirtual (VirtualRegI u) -> text "%vI_" <> pprUniqueAlways u + RegVirtual (VirtualRegHi u) -> text "%vHi_" <> pprUniqueAlways u + RegVirtual (VirtualRegF u) -> text "%vF_" <> pprUniqueAlways u + RegVirtual (VirtualRegD u) -> text "%vD_" <> pprUniqueAlways u + RegVirtual (VirtualRegSSE u) -> text "%vSSE_" <> pprUniqueAlways u where ppr32_reg_no :: Format -> Int -> SDoc ppr32_reg_no II8 = ppr32_reg_byte diff --git a/testsuite/tests/parser/should_compile/DumpParsedAst.stderr b/testsuite/tests/parser/should_compile/DumpParsedAst.stderr index 8d25d04b13..9f6b869871 100644 --- a/testsuite/tests/parser/should_compile/DumpParsedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpParsedAst.stderr @@ -85,7 +85,7 @@ ({ DumpParsedAst.hs:8:13 } (HsAppInfix ({ DumpParsedAst.hs:8:13 } - (Exact {Name: ghc-prim:GHC.Types.:{(w) d 66}})))), + (Exact {Name: ghc-prim:GHC.Types.:{(w) d}})))), ({ DumpParsedAst.hs:8:15-16 } (HsAppPrefix ({ DumpParsedAst.hs:8:15-16 } diff --git a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr index e24af18ae7..437390cbce 100644 --- a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr @@ -9,14 +9,14 @@ [ ({ DumpRenamedAst.hs:11:1-23 } (FunBind - ({ DumpRenamedAst.hs:11:1-4 }{Name: main:DumpRenamedAst.main{v rqD}}) + ({ DumpRenamedAst.hs:11:1-4 }{Name: main:DumpRenamedAst.main{v}}) (MG ({ DumpRenamedAst.hs:11:1-23 } [ ({ DumpRenamedAst.hs:11:1-23 } (Match (FunRhs - ({ DumpRenamedAst.hs:11:1-4 }{Name: main:DumpRenamedAst.main{v rqD}}) + ({ DumpRenamedAst.hs:11:1-4 }{Name: main:DumpRenamedAst.main{v}}) (Prefix)) [] (Nothing) @@ -29,7 +29,7 @@ (HsApp ({ DumpRenamedAst.hs:11:8-15 } (HsVar - ({ DumpRenamedAst.hs:11:8-15 }{Name: base:System.IO.putStrLn{v r1J}}))) + ({ DumpRenamedAst.hs:11:8-15 }{Name: base:System.IO.putStrLn{v}}))) ({ DumpRenamedAst.hs:11:17-23 } (HsLit (HsString @@ -49,7 +49,7 @@ [ ({ DumpRenamedAst.hs:5:1-30 } (DataDecl - ({ DumpRenamedAst.hs:5:6-10 }{Name: main:DumpRenamedAst.Peano{tc rqA}}) + ({ DumpRenamedAst.hs:5:6-10 }{Name: main:DumpRenamedAst.Peano{tc}}) (HsQTvs [] [] {NameSet: @@ -64,7 +64,7 @@ [ ({ DumpRenamedAst.hs:5:14-17 } (ConDeclH98 - ({ DumpRenamedAst.hs:5:14-17 }{Name: main:DumpRenamedAst.Zero{d rqB}}) + ({ DumpRenamedAst.hs:5:14-17 }{Name: main:DumpRenamedAst.Zero{d}}) (Nothing) (Just ({ <no location info> } @@ -74,7 +74,7 @@ (Nothing))), ({ DumpRenamedAst.hs:5:21-30 } (ConDeclH98 - ({ DumpRenamedAst.hs:5:21-24 }{Name: main:DumpRenamedAst.Succ{d rqC}}) + ({ DumpRenamedAst.hs:5:21-24 }{Name: main:DumpRenamedAst.Succ{d}}) (Nothing) (Just ({ <no location info> } @@ -84,12 +84,12 @@ ({ DumpRenamedAst.hs:5:26-30 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:5:26-30 }{Name: main:DumpRenamedAst.Peano{tc rqA}})))]) + ({ DumpRenamedAst.hs:5:26-30 }{Name: main:DumpRenamedAst.Peano{tc}})))]) (Nothing)))] ({ <no location info> } [])) (True) {NameSet: - [{Name: main:DumpRenamedAst.Peano{tc rqA}}]}))] + [{Name: main:DumpRenamedAst.Peano{tc}}]}))] [] []), (TyClGroup @@ -102,9 +102,9 @@ [ ({ DumpRenamedAst.hs:8:3-36 } (TyFamEqn - ({ DumpRenamedAst.hs:8:3-8 }{Name: main:DumpRenamedAst.Length{tc roG}}) + ({ DumpRenamedAst.hs:8:3-8 }{Name: main:DumpRenamedAst.Length{tc}}) (HsIB - [{Name: a{tv aqH}},{Name: as{tv aqI}}] + [{Name: a{tv}},{Name: as{tv}}] [ ({ DumpRenamedAst.hs:8:10-17 } (HsParTy @@ -113,19 +113,19 @@ ({ DumpRenamedAst.hs:8:11 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:8:11 }{Name: a{tv aqH}}))) - ({ DumpRenamedAst.hs:8:13 }{Name: ghc-prim:GHC.Types.:{(w) d 66}}) + ({ DumpRenamedAst.hs:8:11 }{Name: a{tv}}))) + ({ DumpRenamedAst.hs:8:13 }{Name: ghc-prim:GHC.Types.:{(w) d}}) ({ DumpRenamedAst.hs:8:15-16 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:8:15-16 }{Name: as{tv aqI}})))))))]) + ({ DumpRenamedAst.hs:8:15-16 }{Name: as{tv}})))))))]) (Prefix) ({ DumpRenamedAst.hs:8:21-36 } (HsAppTy ({ DumpRenamedAst.hs:8:21-24 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:8:21-24 }{Name: main:DumpRenamedAst.Succ{d rqC}}))) + ({ DumpRenamedAst.hs:8:21-24 }{Name: main:DumpRenamedAst.Succ{d}}))) ({ DumpRenamedAst.hs:8:26-36 } (HsParTy ({ DumpRenamedAst.hs:8:27-35 } @@ -133,14 +133,14 @@ ({ DumpRenamedAst.hs:8:27-32 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:8:27-32 }{Name: main:DumpRenamedAst.Length{tc roG}}))) + ({ DumpRenamedAst.hs:8:27-32 }{Name: main:DumpRenamedAst.Length{tc}}))) ({ DumpRenamedAst.hs:8:34-35 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:8:34-35 }{Name: as{tv aqI}}))))))))))), + ({ DumpRenamedAst.hs:8:34-35 }{Name: as{tv}}))))))))))), ({ DumpRenamedAst.hs:9:3-24 } (TyFamEqn - ({ DumpRenamedAst.hs:9:3-8 }{Name: main:DumpRenamedAst.Length{tc roG}}) + ({ DumpRenamedAst.hs:9:3-8 }{Name: main:DumpRenamedAst.Length{tc}}) (HsIB [] [ @@ -153,20 +153,20 @@ ({ DumpRenamedAst.hs:9:21-24 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:9:21-24 }{Name: main:DumpRenamedAst.Zero{d rqB}})))))])) - ({ DumpRenamedAst.hs:7:13-18 }{Name: main:DumpRenamedAst.Length{tc roG}}) + ({ DumpRenamedAst.hs:9:21-24 }{Name: main:DumpRenamedAst.Zero{d}})))))])) + ({ DumpRenamedAst.hs:7:13-18 }{Name: main:DumpRenamedAst.Length{tc}}) (HsQTvs - [{Name: k{tv aqF}}] + [{Name: k{tv}}] [ ({ DumpRenamedAst.hs:7:20-30 } (KindedTyVar - ({ DumpRenamedAst.hs:7:21-22 }{Name: as{tv aqG}}) + ({ DumpRenamedAst.hs:7:21-22 }{Name: as{tv}}) ({ DumpRenamedAst.hs:7:27-29 } (HsListTy ({ DumpRenamedAst.hs:7:28 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:7:28 }{Name: k{tv aqF}})))))))] {NameSet: + ({ DumpRenamedAst.hs:7:28 }{Name: k{tv}})))))))] {NameSet: []}) (Prefix) ({ DumpRenamedAst.hs:7:32-39 } @@ -174,7 +174,7 @@ ({ DumpRenamedAst.hs:7:35-39 } (HsTyVar (NotPromoted) - ({ DumpRenamedAst.hs:7:35-39 }{Name: main:DumpRenamedAst.Peano{tc rqA}}))))) + ({ DumpRenamedAst.hs:7:35-39 }{Name: main:DumpRenamedAst.Peano{tc}}))))) (Nothing))))] [] [])] diff --git a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr index eee11ab51f..fe7b8bf42c 100644 --- a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr @@ -3,7 +3,7 @@ {Bag(Located (HsBind Var)): [ ({ <no location info> } - (VarBind {Var: (main:DumpTypecheckedAst.$tcPeano{v rHa} [lidx] :: ghc-prim:GHC.Types.TyCon{tc 61Z})} + (VarBind {Var: (main:DumpTypecheckedAst.$tcPeano{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} ({ <no location info> } (HsApp ({ <no location info> } @@ -27,7 +27,7 @@ (11015472196725198936)))))) ({ <no location info> } (HsVar - ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v rHO} [lidx] :: ghc-prim:GHC.Types.Module{tc 625})}))))) + ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) ({ <no location info> } (HsPar ({ <no location info> } @@ -41,7 +41,7 @@ (NoSourceText) "Peano"))))))))) (False))), ({ <no location info> } - (VarBind {Var: (main:DumpTypecheckedAst.$tc'Zero{v rFM} [lidx] :: ghc-prim:GHC.Types.TyCon{tc 61Z})} + (VarBind {Var: (main:DumpTypecheckedAst.$tc'Zero{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} ({ <no location info> } (HsApp ({ <no location info> } @@ -65,7 +65,7 @@ (4722402035995040741)))))) ({ <no location info> } (HsVar - ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v rHO} [lidx] :: ghc-prim:GHC.Types.Module{tc 625})}))))) + ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) ({ <no location info> } (HsPar ({ <no location info> } @@ -79,7 +79,7 @@ (NoSourceText) "'Zero"))))))))) (False))), ({ <no location info> } - (VarBind {Var: (main:DumpTypecheckedAst.$tc'Succ{v rH3} [lidx] :: ghc-prim:GHC.Types.TyCon{tc 61Z})} + (VarBind {Var: (main:DumpTypecheckedAst.$tc'Succ{v} [lidx] :: ghc-prim:GHC.Types.TyCon{tc})} ({ <no location info> } (HsApp ({ <no location info> } @@ -103,7 +103,7 @@ (1296291977643060110)))))) ({ <no location info> } (HsVar - ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v rHO} [lidx] :: ghc-prim:GHC.Types.Module{tc 625})}))))) + ({ <no location info> }{Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})}))))) ({ <no location info> } (HsPar ({ <no location info> } @@ -117,7 +117,7 @@ (NoSourceText) "'Succ"))))))))) (False))), ({ <no location info> } - (VarBind {Var: (main:DumpTypecheckedAst.$trModule{v rHO} [lidx] :: ghc-prim:GHC.Types.Module{tc 625})} + (VarBind {Var: (main:DumpTypecheckedAst.$trModule{v} [lidx] :: ghc-prim:GHC.Types.Module{tc})} ({ <no location info> } (HsApp ({ <no location info> } @@ -153,8 +153,8 @@ [] [] [ - (ABE {Var: (main:DumpTypecheckedAst.main{v rqD} [lid] :: ghc-prim:GHC.Types.IO{tc 31Q} - ())} {Var: (main{v aHS} [lid] :: ghc-prim:GHC.Types.IO{tc 31Q} ())} + (ABE {Var: (main:DumpTypecheckedAst.main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} + ())} {Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())} (WpHole) (SpecPrags []))] @@ -163,14 +163,14 @@ [ ({ DumpTypecheckedAst.hs:11:1-23 } (FunBind - ({ DumpTypecheckedAst.hs:11:1-4 }{Var: (main{v aHS} [lid] :: ghc-prim:GHC.Types.IO{tc 31Q} ())}) + ({ DumpTypecheckedAst.hs:11:1-4 }{Var: (main{v} [lid] :: ghc-prim:GHC.Types.IO{tc} ())}) (MG ({ DumpTypecheckedAst.hs:11:1-23 } [ ({ DumpTypecheckedAst.hs:11:1-23 } (Match (FunRhs - ({ DumpTypecheckedAst.hs:11:1-4 }{Name: main:DumpTypecheckedAst.main{v rqD}}) + ({ DumpTypecheckedAst.hs:11:1-4 }{Name: main:DumpTypecheckedAst.main{v}}) (Prefix)) [] (Nothing) @@ -183,8 +183,8 @@ (HsApp ({ DumpTypecheckedAst.hs:11:8-15 } (HsVar - ({ <no location info> }{Var: (base:System.IO.putStrLn{v r1J} [gid] :: base:GHC.Base.String{tc r1h} - -> ghc-prim:GHC.Types.IO{tc 31Q} ())}))) + ({ <no location info> }{Var: (base:System.IO.putStrLn{v} [gid] :: base:GHC.Base.String{tc} + -> ghc-prim:GHC.Types.IO{tc} ())}))) ({ DumpTypecheckedAst.hs:11:17-23 } (HsLit (HsString diff --git a/testsuite/tests/parser/should_compile/all.T b/testsuite/tests/parser/should_compile/all.T index 4f5797f29b..512836db88 100644 --- a/testsuite/tests/parser/should_compile/all.T +++ b/testsuite/tests/parser/should_compile/all.T @@ -103,6 +103,6 @@ test('VtaParse', normal, compile, ['']) test('T10196', normal, compile, ['']) test('T10379', normal, compile, ['']) test('T10582', expect_broken(10582), compile, ['']) -test('DumpParsedAst', normal, compile, ['-ddump-parsed-ast']) -test('DumpRenamedAst', normal, compile, ['-ddump-rn-ast']) -test('DumpTypecheckedAst', normal, compile, ['-ddump-tc-ast']) +test('DumpParsedAst', normal, compile, ['-dsuppress-uniques -ddump-parsed-ast']) +test('DumpRenamedAst', normal, compile, ['-dsuppress-uniques -ddump-rn-ast']) +test('DumpTypecheckedAst', normal, compile, ['-dsuppress-uniques -ddump-tc-ast']) |