Commit 6ca7b847 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Put quotes round a Name in an error message

Cosmetic consistency only
parent cfb60421
......@@ -1043,10 +1043,10 @@ emptyRnEnv2 = mkRnEnv2 emptyInScopeSet
----------------
missingBootThing :: Bool -> Name -> String -> SDoc
missingBootThing is_boot name what
= ppr name <+> ptext (sLit "is exported by the") <+>
(if is_boot then ptext (sLit "hs-boot") else ptext (sLit "hsig"))
<+> ptext (sLit "file, but not")
<+> text what <+> ptext (sLit "the module")
= quotes (ppr name) <+> ptext (sLit "is exported by the")
<+> (if is_boot then ptext (sLit "hs-boot") else ptext (sLit "hsig"))
<+> ptext (sLit "file, but not")
<+> text what <+> ptext (sLit "the module")
bootMisMatch :: Bool -> SDoc -> TyThing -> TyThing -> SDoc
bootMisMatch is_boot extra_info real_thing boot_thing
......
<no location info>:
insert is exported by the hsig file, but not exported by the module
<no location info>:
insert is exported by the hsig file, but not exported by the module
RnFail047_A.hs-boot:5:1:
RnFail047_A.y is exported by the hs-boot file, but not exported by the module
RnFail047_A.hs-boot:5:1:
RnFail047_A.y is exported by the hs-boot file, but not exported by the module
......@@ -44,10 +44,10 @@ RnFail055.hs-boot:14:1:
The datatype contexts do not match
RnFail055.hs-boot:16:11:
T3 is exported by the hs-boot file, but not exported by the module
T3 is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:17:12:
T3' is exported by the hs-boot file, but not exported by the module
T3' is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:21:1:
Type constructor ‘T5’ has conflicting definitions in the module
......@@ -76,7 +76,7 @@ RnFail055.hs-boot:25:1:
The constructors do not match: The types for ‘T7’ differ
RnFail055.hs-boot:27:22:
RnFail055.m1 is exported by the hs-boot file, but not exported by the module
RnFail055.m1 is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:28:1:
Class ‘C2’ has conflicting definitions in the module
......
......@@ -3,13 +3,12 @@
Result size of Tidy Core = {terms: 22, types: 10, coercions: 0}
Rec {
T3717.$wfoo [InlPrag=[0], Occ=LoopBreaker]
:: GHC.Prim.Int# -> GHC.Prim.Int#
$wfoo [InlPrag=[0], Occ=LoopBreaker] :: Int# -> Int#
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
T3717.$wfoo =
\ (ww :: GHC.Prim.Int#) ->
$wfoo =
\ (ww :: Int#) ->
case ww of ds {
__DEFAULT -> T3717.$wfoo (GHC.Prim.-# ds 1#);
__DEFAULT -> $wfoo (-# ds 1#);
0# -> 0#
}
end Rec }
......@@ -23,13 +22,13 @@ foo [InlPrag=INLINE[0]] :: Int -> Int
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
Tmpl= \ (w [Occ=Once!] :: Int) ->
case w of _ [Occ=Dead] { GHC.Types.I# ww1 [Occ=Once] ->
case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
case w of _ [Occ=Dead] { I# ww1 [Occ=Once] ->
case $wfoo ww1 of ww2 { __DEFAULT -> I# ww2 }
}}]
foo =
\ (w :: Int) ->
case w of _ [Occ=Dead] { GHC.Types.I# ww1 ->
case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
case w of _ [Occ=Dead] { I# ww1 ->
case $wfoo ww1 of ww2 { __DEFAULT -> I# ww2 }
}
......
[1 of 1] Compiling ShouldFail[sig of Data.STRef] ( tcfail222.hsig, nothing )
<no location info>:
newSTRef is exported by the hsig file, but not exported by the module
[1 of 1] Compiling ShouldFail[sig of Data.STRef] ( tcfail222.hsig, nothing )
<no location info>:
newSTRef is exported by the hsig file, but not exported by the module
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