Commit 8d401e50 authored by Simon Peyton Jones's avatar Simon Peyton Jones

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
parent e52a335d
......@@ -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)
......
......@@ -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
......
......@@ -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.
......
......@@ -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.
......
......@@ -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 =
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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 }
......
......@@ -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))))]
[]
[])]
......
......@@ -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
......
......@@ -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'])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment