Update outputs following the unicode quote change in GHC's output
authorIan Lynagh <ian@well-typed.com>
Sun, 24 Feb 2013 14:48:43 +0000 (14:48 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 24 Feb 2013 14:48:43 +0000 (14:48 +0000)
745 files changed:
testsuite/tests/annotations/should_fail/annfail01.stderr
testsuite/tests/annotations/should_fail/annfail02.stderr
testsuite/tests/annotations/should_fail/annfail03.stderr
testsuite/tests/annotations/should_fail/annfail04.stderr
testsuite/tests/annotations/should_fail/annfail06.stderr
testsuite/tests/annotations/should_fail/annfail07.stderr
testsuite/tests/annotations/should_fail/annfail08.stderr
testsuite/tests/annotations/should_fail/annfail09.stderr
testsuite/tests/annotations/should_fail/annfail10.stderr
testsuite/tests/annotations/should_fail/annfail11.stderr
testsuite/tests/arrows/should_fail/T5380.stderr
testsuite/tests/arrows/should_fail/arrowfail001.stderr
testsuite/tests/arrows/should_fail/arrowfail002.stderr
testsuite/tests/arrows/should_fail/arrowfail004.stderr
testsuite/tests/deSugar/should_compile/GadtOverlap.stderr
testsuite/tests/deSugar/should_compile/T2395.stderr
testsuite/tests/deSugar/should_compile/T5117.stderr
testsuite/tests/deSugar/should_compile/ds002.stderr-ghc
testsuite/tests/deSugar/should_compile/ds003.stderr-ghc
testsuite/tests/deSugar/should_compile/ds019.stderr-ghc
testsuite/tests/deSugar/should_compile/ds020.stderr-ghc
testsuite/tests/deSugar/should_compile/ds022.stderr-ghc
testsuite/tests/deSugar/should_compile/ds041.stderr-ghc
testsuite/tests/deSugar/should_compile/ds051.stderr-ghc
testsuite/tests/deSugar/should_compile/ds053.stderr-ghc
testsuite/tests/deSugar/should_compile/ds056.stderr
testsuite/tests/deriving/should_compile/drv021.stderr
testsuite/tests/deriving/should_fail/T1133A.stderr
testsuite/tests/deriving/should_fail/T2394.stderr
testsuite/tests/deriving/should_fail/T2604.stderr
testsuite/tests/deriving/should_fail/T2701.stderr
testsuite/tests/deriving/should_fail/T2721.stderr
testsuite/tests/deriving/should_fail/T3101.stderr
testsuite/tests/deriving/should_fail/T3833.stderr
testsuite/tests/deriving/should_fail/T3834.stderr
testsuite/tests/deriving/should_fail/T4528.stderr
testsuite/tests/deriving/should_fail/T5287.stderr
testsuite/tests/deriving/should_fail/T5478.stderr
testsuite/tests/deriving/should_fail/T5686.stderr
testsuite/tests/deriving/should_fail/T5922.stderr
testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr
testsuite/tests/deriving/should_fail/drvfail-functor1.stderr
testsuite/tests/deriving/should_fail/drvfail-functor2.stderr
testsuite/tests/deriving/should_fail/drvfail005.stderr
testsuite/tests/deriving/should_fail/drvfail009.stderr
testsuite/tests/deriving/should_fail/drvfail011.stderr
testsuite/tests/deriving/should_fail/drvfail014.stderr
testsuite/tests/deriving/should_fail/drvfail015.stderr
testsuite/tests/driver/T1372/T1372.stderr
testsuite/tests/driver/T5147/T5147.stderr
testsuite/tests/driver/T6037.stderr
testsuite/tests/driver/bug1677/bug1677.stderr
testsuite/tests/driver/driver063.stderr
testsuite/tests/driver/recomp001/recomp001.stderr
testsuite/tests/driver/recomp005/recomp005.stderr
testsuite/tests/driver/werror.stderr
testsuite/tests/gadt/T3163.stderr
testsuite/tests/gadt/T3169.stderr
testsuite/tests/gadt/T3651.stderr
testsuite/tests/gadt/T7293.stderr
testsuite/tests/gadt/T7294.stderr
testsuite/tests/gadt/gadt-escape1.stderr
testsuite/tests/gadt/gadt10.stderr
testsuite/tests/gadt/gadt11.stderr
testsuite/tests/gadt/gadt13.stderr
testsuite/tests/gadt/gadt21.stderr
testsuite/tests/gadt/gadt7.stderr
testsuite/tests/gadt/gadtSyntaxFail001.stderr
testsuite/tests/gadt/gadtSyntaxFail002.stderr
testsuite/tests/gadt/gadtSyntaxFail003.stderr
testsuite/tests/gadt/lazypat.stderr
testsuite/tests/gadt/records-fail1.stderr
testsuite/tests/gadt/rw.stderr
testsuite/tests/generics/GenCannotDoRep0.stderr
testsuite/tests/generics/GenCannotDoRep1.stderr
testsuite/tests/generics/GenCannotDoRep1_0.stderr
testsuite/tests/generics/GenCannotDoRep1_1.stderr
testsuite/tests/generics/GenCannotDoRep1_2.stderr
testsuite/tests/generics/GenCannotDoRep1_3.stderr
testsuite/tests/generics/GenCannotDoRep1_4.stderr
testsuite/tests/generics/GenCannotDoRep1_5.stderr
testsuite/tests/generics/GenCannotDoRep1_6.stderr
testsuite/tests/generics/GenCannotDoRep1_7.stderr
testsuite/tests/generics/GenCannotDoRep1_8.stderr
testsuite/tests/generics/GenCannotDoRep2.stderr
testsuite/tests/generics/GenShouldFail0.stderr
testsuite/tests/generics/GenShouldFail1_0.stderr
testsuite/tests/ghc-api/apirecomp001/apirecomp001.stderr
testsuite/tests/ghc-e/should_run/T2636.stderr
testsuite/tests/ghci.debugger/scripts/break003.stderr
testsuite/tests/ghci.debugger/scripts/break006.stderr
testsuite/tests/ghci.debugger/scripts/break019.stderr
testsuite/tests/ghci.debugger/scripts/dynbrk001.stderr
testsuite/tests/ghci.debugger/scripts/dynbrk001.stdout
testsuite/tests/ghci.debugger/scripts/print019.stderr
testsuite/tests/ghci.debugger/scripts/print020.stderr
testsuite/tests/ghci/prog006/prog006.stderr
testsuite/tests/ghci/prog009/ghci.prog009.stderr
testsuite/tests/ghci/prog012/prog012.stderr
testsuite/tests/ghci/scripts/T2452.stderr
testsuite/tests/ghci/scripts/T2816.stderr
testsuite/tests/ghci/scripts/T4127a.stderr
testsuite/tests/ghci/scripts/T5545.stdout
testsuite/tests/ghci/scripts/T5564.stderr
testsuite/tests/ghci/scripts/T5836.stderr
testsuite/tests/ghci/scripts/T5979.stderr
testsuite/tests/ghci/scripts/T6007.stderr
testsuite/tests/ghci/scripts/ghci008.stdout
testsuite/tests/ghci/scripts/ghci011.stdout
testsuite/tests/ghci/scripts/ghci020.stdout
testsuite/tests/ghci/scripts/ghci021.stderr
testsuite/tests/ghci/scripts/ghci034.stderr
testsuite/tests/ghci/scripts/ghci036.stderr
testsuite/tests/ghci/scripts/ghci038.stderr
testsuite/tests/ghci/scripts/ghci044.stderr
testsuite/tests/ghci/scripts/ghci047.stderr
testsuite/tests/ghci/scripts/ghci048.stderr
testsuite/tests/ghci/scripts/ghci050.stderr
testsuite/tests/ghci/scripts/ghci051.stderr
testsuite/tests/ghci/scripts/ghci052.stderr
testsuite/tests/ghci/scripts/ghci053.stderr
testsuite/tests/ghci/scripts/ghci057.stderr
testsuite/tests/haddock/haddock_examples/haddock.Test.stderr
testsuite/tests/indexed-types/should_compile/Class3.stderr
testsuite/tests/indexed-types/should_compile/Simple14.stderr
testsuite/tests/indexed-types/should_compile/Simple2.stderr
testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr
testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr
testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr
testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr
testsuite/tests/indexed-types/should_fail/Overlap10.stderr
testsuite/tests/indexed-types/should_fail/Overlap11.stderr
testsuite/tests/indexed-types/should_fail/Overlap5.stderr
testsuite/tests/indexed-types/should_fail/Overlap6.stderr
testsuite/tests/indexed-types/should_fail/Overlap9.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail12.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail2a.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail3a.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail5b.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail6.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail7.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail8.stderr
testsuite/tests/indexed-types/should_fail/T1897b.stderr
testsuite/tests/indexed-types/should_fail/T1900.stderr
testsuite/tests/indexed-types/should_fail/T2157.stderr
testsuite/tests/indexed-types/should_fail/T2203a.stderr
testsuite/tests/indexed-types/should_fail/T2239.stderr
testsuite/tests/indexed-types/should_fail/T2334A.stderr
testsuite/tests/indexed-types/should_fail/T2544.stderr
testsuite/tests/indexed-types/should_fail/T2627b.stderr
testsuite/tests/indexed-types/should_fail/T2664.stderr
testsuite/tests/indexed-types/should_fail/T2693.stderr
testsuite/tests/indexed-types/should_fail/T3092.stderr
testsuite/tests/indexed-types/should_fail/T3330a.stderr
testsuite/tests/indexed-types/should_fail/T3330c.stderr
testsuite/tests/indexed-types/should_fail/T3440.stderr
testsuite/tests/indexed-types/should_fail/T4093a.stderr
testsuite/tests/indexed-types/should_fail/T4093b.stderr
testsuite/tests/indexed-types/should_fail/T4099.stderr
testsuite/tests/indexed-types/should_fail/T4174.stderr
testsuite/tests/indexed-types/should_fail/T4179.stderr
testsuite/tests/indexed-types/should_fail/T4272.stderr
testsuite/tests/indexed-types/should_fail/T4485.stderr
testsuite/tests/indexed-types/should_fail/T5439.stderr
testsuite/tests/indexed-types/should_fail/T5515.stderr
testsuite/tests/indexed-types/should_fail/T5934.stderr
testsuite/tests/indexed-types/should_fail/T6123.stderr
testsuite/tests/indexed-types/should_fail/T7010.stderr
testsuite/tests/indexed-types/should_fail/T7194.stderr
testsuite/tests/indexed-types/should_fail/T7354.stderr
testsuite/tests/indexed-types/should_fail/T7354a.stderr
testsuite/tests/indexed-types/should_fail/T7536.stderr
testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr
testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr
testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr
testsuite/tests/mdo/should_fail/mdofail001.stderr
testsuite/tests/mdo/should_fail/mdofail002.stderr
testsuite/tests/mdo/should_fail/mdofail003.stderr
testsuite/tests/module/T414.stderr
testsuite/tests/module/mod1.stderr
testsuite/tests/module/mod10.stderr
testsuite/tests/module/mod101.stderr
testsuite/tests/module/mod102.stderr
testsuite/tests/module/mod110.stderr
testsuite/tests/module/mod114.stderr
testsuite/tests/module/mod116.stderr
testsuite/tests/module/mod120.stderr
testsuite/tests/module/mod121.stderr
testsuite/tests/module/mod122.stderr
testsuite/tests/module/mod123.stderr
testsuite/tests/module/mod124.stderr
testsuite/tests/module/mod125.stderr
testsuite/tests/module/mod126.stderr
testsuite/tests/module/mod127.stderr
testsuite/tests/module/mod128.stderr-ghc
testsuite/tests/module/mod130.stderr
testsuite/tests/module/mod131.stderr
testsuite/tests/module/mod132.stderr
testsuite/tests/module/mod134.stderr
testsuite/tests/module/mod136.stderr
testsuite/tests/module/mod138.stderr
testsuite/tests/module/mod14.stderr-ghc
testsuite/tests/module/mod142.stderr
testsuite/tests/module/mod143.stderr
testsuite/tests/module/mod144.stderr
testsuite/tests/module/mod145.stderr
testsuite/tests/module/mod146.stderr
testsuite/tests/module/mod147.stderr
testsuite/tests/module/mod150.stderr
testsuite/tests/module/mod151.stderr
testsuite/tests/module/mod152.stderr
testsuite/tests/module/mod153.stderr
testsuite/tests/module/mod155.stderr
testsuite/tests/module/mod158.stderr
testsuite/tests/module/mod160.stderr
testsuite/tests/module/mod161.stderr
testsuite/tests/module/mod164.stderr
testsuite/tests/module/mod165.stderr
testsuite/tests/module/mod17.stderr
testsuite/tests/module/mod174.stderr
testsuite/tests/module/mod176.stderr
testsuite/tests/module/mod177.stderr
testsuite/tests/module/mod178.stderr
testsuite/tests/module/mod18.stderr
testsuite/tests/module/mod180.stderr
testsuite/tests/module/mod19.stderr
testsuite/tests/module/mod2.stderr
testsuite/tests/module/mod20.stderr
testsuite/tests/module/mod21.stderr
testsuite/tests/module/mod22.stderr
testsuite/tests/module/mod23.stderr
testsuite/tests/module/mod24.stderr
testsuite/tests/module/mod25.stderr
testsuite/tests/module/mod26.stderr
testsuite/tests/module/mod29.stderr
testsuite/tests/module/mod3.stderr
testsuite/tests/module/mod36.stderr
testsuite/tests/module/mod38.stderr
testsuite/tests/module/mod4.stderr
testsuite/tests/module/mod40.stderr
testsuite/tests/module/mod41.stderr
testsuite/tests/module/mod42.stderr
testsuite/tests/module/mod43.stderr
testsuite/tests/module/mod45.stderr
testsuite/tests/module/mod46.stderr
testsuite/tests/module/mod47.stderr
testsuite/tests/module/mod49.stderr
testsuite/tests/module/mod5.stderr-ghc
testsuite/tests/module/mod50.stderr
testsuite/tests/module/mod53.stderr
testsuite/tests/module/mod55.stderr
testsuite/tests/module/mod56.stderr
testsuite/tests/module/mod59.stderr
testsuite/tests/module/mod60.stderr
testsuite/tests/module/mod61.stderr
testsuite/tests/module/mod62.stderr
testsuite/tests/module/mod63.stderr
testsuite/tests/module/mod66.stderr
testsuite/tests/module/mod67.stderr
testsuite/tests/module/mod68.stderr
testsuite/tests/module/mod7.stderr
testsuite/tests/module/mod72.stderr
testsuite/tests/module/mod73.stderr
testsuite/tests/module/mod74.stderr
testsuite/tests/module/mod77.stderr
testsuite/tests/module/mod79.stderr
testsuite/tests/module/mod80.stderr
testsuite/tests/module/mod81.stderr
testsuite/tests/module/mod87.stderr
testsuite/tests/module/mod88.stderr
testsuite/tests/module/mod89.stderr
testsuite/tests/module/mod9.stderr
testsuite/tests/module/mod90.stderr
testsuite/tests/module/mod91.stderr
testsuite/tests/module/mod97.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail01.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail03.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail04.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail05.stderr
testsuite/tests/overloadedlists/should_fail/overloadedlistsfail06.stderr
testsuite/tests/parser/should_compile/T2245.stderr
testsuite/tests/parser/should_compile/T3303.stderr
testsuite/tests/parser/should_compile/read014.stderr-ghc
testsuite/tests/parser/should_fail/T3811d.stderr
testsuite/tests/parser/should_fail/readFail001.stderr
testsuite/tests/parser/should_fail/readFail008.stderr
testsuite/tests/parser/should_fail/readFail016.stderr
testsuite/tests/parser/should_fail/readFail021.stderr
testsuite/tests/parser/should_fail/readFail023.stderr
testsuite/tests/parser/should_fail/readFail025.stderr
testsuite/tests/parser/should_fail/readFail035.stderr
testsuite/tests/parser/should_fail/readFail036.stderr
testsuite/tests/parser/should_fail/readFail037.stderr
testsuite/tests/parser/should_fail/readFail039.stderr
testsuite/tests/parser/should_fail/readFail041.stderr
testsuite/tests/parser/should_fail/readFail042.stderr
testsuite/tests/parser/should_fail/readFail043.stderr
testsuite/tests/parser/should_fail/readFail046.stderr
testsuite/tests/parser/unicode/T2302.stderr
testsuite/tests/perf/compiler/parsing001.stderr
testsuite/tests/plugins/plugins03.stderr
testsuite/tests/plugins/plugins04.stderr
testsuite/tests/polykinds/PolyKinds02.stderr
testsuite/tests/polykinds/PolyKinds04.stderr
testsuite/tests/polykinds/PolyKinds06.stderr
testsuite/tests/polykinds/PolyKinds07.stderr
testsuite/tests/polykinds/T5716.stderr
testsuite/tests/polykinds/T5716a.stderr
testsuite/tests/polykinds/T6021.stderr
testsuite/tests/polykinds/T6039.stderr
testsuite/tests/polykinds/T6054.stderr
testsuite/tests/polykinds/T6129.stderr
testsuite/tests/polykinds/T7053.stderr
testsuite/tests/polykinds/T7151.stderr
testsuite/tests/polykinds/T7224.stderr
testsuite/tests/polykinds/T7230.stderr
testsuite/tests/polykinds/T7278.stderr
testsuite/tests/polykinds/T7328.stderr
testsuite/tests/polykinds/T7341.stderr
testsuite/tests/polykinds/T7404.stderr
testsuite/tests/polykinds/T7433.stderr
testsuite/tests/polykinds/T7438.stderr
testsuite/tests/polykinds/T7594.stderr
testsuite/tests/programs/hs-boot/hs-boot.stderr
testsuite/tests/quasiquotation/T3953.stderr
testsuite/tests/rebindable/rebindable6.stderr
testsuite/tests/rename/prog002/rename.prog002.stderr
testsuite/tests/rename/prog003/rename.prog003.stderr
testsuite/tests/rename/should_compile/T1789.stderr
testsuite/tests/rename/should_compile/T1972.stderr
testsuite/tests/rename/should_compile/T3262.stderr-ghc
testsuite/tests/rename/should_compile/T3371.stderr
testsuite/tests/rename/should_compile/T3449.stderr
testsuite/tests/rename/should_compile/T3823.stderr
testsuite/tests/rename/should_compile/T4489.stderr
testsuite/tests/rename/should_compile/T5331.stderr
testsuite/tests/rename/should_compile/T5334.stderr
testsuite/tests/rename/should_compile/T5867.stderr
testsuite/tests/rename/should_compile/T7145b.stderr
testsuite/tests/rename/should_compile/T7167.stderr
testsuite/tests/rename/should_compile/T7336.stderr
testsuite/tests/rename/should_compile/mc10.stderr-ghc
testsuite/tests/rename/should_compile/rn037.stderr-ghc
testsuite/tests/rename/should_compile/rn039.stderr-ghc
testsuite/tests/rename/should_compile/rn040.stderr-ghc
testsuite/tests/rename/should_compile/rn041.stderr-ghc
testsuite/tests/rename/should_compile/rn046.stderr-ghc
testsuite/tests/rename/should_compile/rn047.stderr-ghc
testsuite/tests/rename/should_compile/rn050.stderr
testsuite/tests/rename/should_compile/rn063.stderr
testsuite/tests/rename/should_compile/rn064.stderr
testsuite/tests/rename/should_compile/rn066.stderr
testsuite/tests/rename/should_fail/T1595a.stderr
testsuite/tests/rename/should_fail/T2310.stderr
testsuite/tests/rename/should_fail/T2723.stderr
testsuite/tests/rename/should_fail/T2901.stderr
testsuite/tests/rename/should_fail/T2993.stderr
testsuite/tests/rename/should_fail/T3265.stderr
testsuite/tests/rename/should_fail/T5211.stderr
testsuite/tests/rename/should_fail/T5281.stderr
testsuite/tests/rename/should_fail/T5372.stderr
testsuite/tests/rename/should_fail/T5385.stderr
testsuite/tests/rename/should_fail/T5533.stderr
testsuite/tests/rename/should_fail/T5589.stderr
testsuite/tests/rename/should_fail/T5657.stderr
testsuite/tests/rename/should_fail/T5745.stderr
testsuite/tests/rename/should_fail/T5892a.stderr
testsuite/tests/rename/should_fail/T5892b.stderr
testsuite/tests/rename/should_fail/T7164.stderr
testsuite/tests/rename/should_fail/T7338.stderr
testsuite/tests/rename/should_fail/T7338a.stderr
testsuite/tests/rename/should_fail/T7454.stderr
testsuite/tests/rename/should_fail/mc13.stderr
testsuite/tests/rename/should_fail/mc14.stderr
testsuite/tests/rename/should_fail/rn_dup.stderr
testsuite/tests/rename/should_fail/rnfail001.stderr
testsuite/tests/rename/should_fail/rnfail002.stderr
testsuite/tests/rename/should_fail/rnfail003.stderr
testsuite/tests/rename/should_fail/rnfail004.stderr
testsuite/tests/rename/should_fail/rnfail007.stderr
testsuite/tests/rename/should_fail/rnfail008.stderr
testsuite/tests/rename/should_fail/rnfail009.stderr
testsuite/tests/rename/should_fail/rnfail010.stderr
testsuite/tests/rename/should_fail/rnfail011.stderr
testsuite/tests/rename/should_fail/rnfail012.stderr
testsuite/tests/rename/should_fail/rnfail013.stderr
testsuite/tests/rename/should_fail/rnfail015.stderr
testsuite/tests/rename/should_fail/rnfail017.stderr
testsuite/tests/rename/should_fail/rnfail018.stderr
testsuite/tests/rename/should_fail/rnfail019.stderr
testsuite/tests/rename/should_fail/rnfail022.stderr
testsuite/tests/rename/should_fail/rnfail023.stderr
testsuite/tests/rename/should_fail/rnfail024.stderr
testsuite/tests/rename/should_fail/rnfail025.stderr
testsuite/tests/rename/should_fail/rnfail026.stderr
testsuite/tests/rename/should_fail/rnfail027.stderr
testsuite/tests/rename/should_fail/rnfail029.stderr
testsuite/tests/rename/should_fail/rnfail030.stderr
testsuite/tests/rename/should_fail/rnfail031.stderr
testsuite/tests/rename/should_fail/rnfail032.stderr
testsuite/tests/rename/should_fail/rnfail033.stderr
testsuite/tests/rename/should_fail/rnfail034.stderr
testsuite/tests/rename/should_fail/rnfail035.stderr
testsuite/tests/rename/should_fail/rnfail040.stderr
testsuite/tests/rename/should_fail/rnfail041.stderr
testsuite/tests/rename/should_fail/rnfail043.stderr
testsuite/tests/rename/should_fail/rnfail044.stderr
testsuite/tests/rename/should_fail/rnfail045.stderr
testsuite/tests/rename/should_fail/rnfail048.stderr
testsuite/tests/rename/should_fail/rnfail049.stderr
testsuite/tests/rename/should_fail/rnfail050.stderr
testsuite/tests/rename/should_fail/rnfail053.stderr
testsuite/tests/rename/should_fail/rnfail054.stderr
testsuite/tests/rename/should_fail/rnfail055.stderr
testsuite/tests/rename/should_fail/rnfail057.stderr
testsuite/tests/safeHaskell/flags/SafeFlags22.stderr
testsuite/tests/safeHaskell/flags/SafeFlags23.stderr
testsuite/tests/safeHaskell/flags/SafeFlags25.stderr
testsuite/tests/safeHaskell/flags/SafeFlags26.stderr
testsuite/tests/safeHaskell/ghci/p10.stderr
testsuite/tests/safeHaskell/ghci/p13.stderr
testsuite/tests/safeHaskell/ghci/p15.stderr
testsuite/tests/safeHaskell/ghci/p16.stderr
testsuite/tests/safeHaskell/ghci/p4.stderr
testsuite/tests/safeHaskell/ghci/p6.stderr
testsuite/tests/safeHaskell/ghci/p9.stderr
testsuite/tests/safeHaskell/safeInfered/UnsafeInfered07.stderr
testsuite/tests/safeHaskell/safeInfered/UnsafeInfered11.stderr
testsuite/tests/safeHaskell/safeInfered/UnsafeInfered12.stderr
testsuite/tests/safeHaskell/safeLanguage/SafeLang07.stderr
testsuite/tests/safeHaskell/safeLanguage/SafeLang10.stderr
testsuite/tests/safeHaskell/unsafeLibs/Dep01.stderr
testsuite/tests/safeHaskell/unsafeLibs/Dep02.stderr
testsuite/tests/simplCore/should_compile/T4398.stderr
testsuite/tests/simplCore/should_compile/T5359b.stderr
testsuite/tests/simplCore/should_compile/T6082-RULE.stderr
testsuite/tests/simplCore/should_compile/simpl016.stderr
testsuite/tests/simplCore/should_compile/simpl017.stderr
testsuite/tests/simplCore/should_compile/simpl020.stderr
testsuite/tests/th/T2597b.stderr
testsuite/tests/th/T2674.stderr
testsuite/tests/th/T2713.stderr
testsuite/tests/th/T3177a.stderr
testsuite/tests/th/T3395.stderr
testsuite/tests/th/T5358.stderr
testsuite/tests/th/T5795.stderr
testsuite/tests/th/T5971.stderr
testsuite/tests/th/T6114.stderr
testsuite/tests/th/T7276.stderr
testsuite/tests/th/T7276a.stdout
testsuite/tests/th/TH_1tuple.stderr
testsuite/tests/th/TH_dupdecl.stderr
testsuite/tests/th/TH_runIO.stderr
testsuite/tests/th/TH_spliceD1.stderr
testsuite/tests/th/TH_unresolvedInfix2.stderr
testsuite/tests/typecheck/bug1465/bug1465.stderr
testsuite/tests/typecheck/prog001/typecheck.prog001.stderr-ghc
testsuite/tests/typecheck/should_compile/FD1.stderr
testsuite/tests/typecheck/should_compile/FD2.stderr
testsuite/tests/typecheck/should_compile/FD3.stderr
testsuite/tests/typecheck/should_compile/T2494.stderr
testsuite/tests/typecheck/should_compile/T2497.stderr
testsuite/tests/typecheck/should_compile/T5481.stderr
testsuite/tests/typecheck/should_compile/T7050.stderr
testsuite/tests/typecheck/should_compile/T7562.stderr
testsuite/tests/typecheck/should_compile/holes.stderr
testsuite/tests/typecheck/should_compile/holes2.stderr
testsuite/tests/typecheck/should_compile/holes3.stderr
testsuite/tests/typecheck/should_compile/tc056.stderr
testsuite/tests/typecheck/should_compile/tc115.stderr-ghc
testsuite/tests/typecheck/should_compile/tc116.stderr-ghc
testsuite/tests/typecheck/should_compile/tc125.stderr-ghc
testsuite/tests/typecheck/should_compile/tc126.stderr-ghc
testsuite/tests/typecheck/should_compile/tc141.stderr
testsuite/tests/typecheck/should_compile/tc161.stderr-ghc
testsuite/tests/typecheck/should_compile/tc167.stderr
testsuite/tests/typecheck/should_compile/tc168.stderr
testsuite/tests/typecheck/should_compile/tc211.stderr
testsuite/tests/typecheck/should_compile/tc254.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef01.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef03.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef07.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef08.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef09.stderr
testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr
testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr
testsuite/tests/typecheck/should_fail/IPFail.stderr
testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr
testsuite/tests/typecheck/should_fail/SCLoop.stderr
testsuite/tests/typecheck/should_fail/SilentParametersOverlapping.stderr
testsuite/tests/typecheck/should_fail/T1595.stderr
testsuite/tests/typecheck/should_fail/T1633.stderr
testsuite/tests/typecheck/should_fail/T1897a.stderr
testsuite/tests/typecheck/should_fail/T1899.stderr
testsuite/tests/typecheck/should_fail/T2126.stderr
testsuite/tests/typecheck/should_fail/T2247.stderr
testsuite/tests/typecheck/should_fail/T2354.stderr
testsuite/tests/typecheck/should_fail/T2414.stderr
testsuite/tests/typecheck/should_fail/T2534.stderr
testsuite/tests/typecheck/should_fail/T2538.stderr
testsuite/tests/typecheck/should_fail/T2688.stderr
testsuite/tests/typecheck/should_fail/T2714.stderr
testsuite/tests/typecheck/should_fail/T2806.stderr
testsuite/tests/typecheck/should_fail/T2846b.stderr
testsuite/tests/typecheck/should_fail/T2994.stderr
testsuite/tests/typecheck/should_fail/T3102.stderr
testsuite/tests/typecheck/should_fail/T3176.stderr
testsuite/tests/typecheck/should_fail/T3323.stderr
testsuite/tests/typecheck/should_fail/T3406.stderr
testsuite/tests/typecheck/should_fail/T3468.stderr
testsuite/tests/typecheck/should_fail/T3540.stderr
testsuite/tests/typecheck/should_fail/T3592.stderr
testsuite/tests/typecheck/should_fail/T3613.stderr
testsuite/tests/typecheck/should_fail/T3966.stderr
testsuite/tests/typecheck/should_fail/T4875.stderr
testsuite/tests/typecheck/should_fail/T5051.stderr
testsuite/tests/typecheck/should_fail/T5084.stderr
testsuite/tests/typecheck/should_fail/T5095.stderr
testsuite/tests/typecheck/should_fail/T5236.stderr
testsuite/tests/typecheck/should_fail/T5246.stderr
testsuite/tests/typecheck/should_fail/T5300.stderr
testsuite/tests/typecheck/should_fail/T5570.stderr
testsuite/tests/typecheck/should_fail/T5684.stderr
testsuite/tests/typecheck/should_fail/T5689.stderr
testsuite/tests/typecheck/should_fail/T5691.stderr
testsuite/tests/typecheck/should_fail/T5853.stderr
testsuite/tests/typecheck/should_fail/T5858.stderr
testsuite/tests/typecheck/should_fail/T5957.stderr
testsuite/tests/typecheck/should_fail/T5978.stderr
testsuite/tests/typecheck/should_fail/T6001.stderr
testsuite/tests/typecheck/should_fail/T6069.stderr
testsuite/tests/typecheck/should_fail/T6078.stderr
testsuite/tests/typecheck/should_fail/T6161.stderr
testsuite/tests/typecheck/should_fail/T7019.stderr
testsuite/tests/typecheck/should_fail/T7019a.stderr
testsuite/tests/typecheck/should_fail/T7175.stderr
testsuite/tests/typecheck/should_fail/T7210.stderr
testsuite/tests/typecheck/should_fail/T7220.stderr
testsuite/tests/typecheck/should_fail/T7264.stderr
testsuite/tests/typecheck/should_fail/T7279.stderr
testsuite/tests/typecheck/should_fail/T7368.stderr
testsuite/tests/typecheck/should_fail/T7368a.stderr
testsuite/tests/typecheck/should_fail/T7410.stderr
testsuite/tests/typecheck/should_fail/T7453.stderr
testsuite/tests/typecheck/should_fail/T7525.stderr
testsuite/tests/typecheck/should_fail/T7545.stderr
testsuite/tests/typecheck/should_fail/T7609.stderr
testsuite/tests/typecheck/should_fail/T7645.stderr
testsuite/tests/typecheck/should_fail/TcMultiWayIfFail.stderr
testsuite/tests/typecheck/should_fail/fd-loop.stderr
testsuite/tests/typecheck/should_fail/mc19.stderr
testsuite/tests/typecheck/should_fail/mc20.stderr
testsuite/tests/typecheck/should_fail/mc21.stderr
testsuite/tests/typecheck/should_fail/mc22.stderr
testsuite/tests/typecheck/should_fail/mc23.stderr
testsuite/tests/typecheck/should_fail/mc24.stderr
testsuite/tests/typecheck/should_fail/mc25.stderr
testsuite/tests/typecheck/should_fail/tcfail001.stderr
testsuite/tests/typecheck/should_fail/tcfail002.stderr
testsuite/tests/typecheck/should_fail/tcfail003.stderr
testsuite/tests/typecheck/should_fail/tcfail004.stderr
testsuite/tests/typecheck/should_fail/tcfail005.stderr
testsuite/tests/typecheck/should_fail/tcfail006.stderr
testsuite/tests/typecheck/should_fail/tcfail007.stderr
testsuite/tests/typecheck/should_fail/tcfail008.stderr
testsuite/tests/typecheck/should_fail/tcfail009.stderr
testsuite/tests/typecheck/should_fail/tcfail010.stderr
testsuite/tests/typecheck/should_fail/tcfail011.stderr
testsuite/tests/typecheck/should_fail/tcfail012.stderr
testsuite/tests/typecheck/should_fail/tcfail013.stderr
testsuite/tests/typecheck/should_fail/tcfail014.stderr
testsuite/tests/typecheck/should_fail/tcfail015.stderr
testsuite/tests/typecheck/should_fail/tcfail016.stderr
testsuite/tests/typecheck/should_fail/tcfail017.stderr
testsuite/tests/typecheck/should_fail/tcfail018.stderr
testsuite/tests/typecheck/should_fail/tcfail019.stderr
testsuite/tests/typecheck/should_fail/tcfail020.stderr
testsuite/tests/typecheck/should_fail/tcfail027.stderr
testsuite/tests/typecheck/should_fail/tcfail028.stderr
testsuite/tests/typecheck/should_fail/tcfail029.stderr
testsuite/tests/typecheck/should_fail/tcfail030.stderr
testsuite/tests/typecheck/should_fail/tcfail031.stderr
testsuite/tests/typecheck/should_fail/tcfail032.stderr
testsuite/tests/typecheck/should_fail/tcfail033.stderr
testsuite/tests/typecheck/should_fail/tcfail034.stderr
testsuite/tests/typecheck/should_fail/tcfail036.stderr
testsuite/tests/typecheck/should_fail/tcfail037.stderr
testsuite/tests/typecheck/should_fail/tcfail038.stderr
testsuite/tests/typecheck/should_fail/tcfail040.stderr
testsuite/tests/typecheck/should_fail/tcfail041.stderr
testsuite/tests/typecheck/should_fail/tcfail042.stderr
testsuite/tests/typecheck/should_fail/tcfail043.stderr
testsuite/tests/typecheck/should_fail/tcfail044.stderr
testsuite/tests/typecheck/should_fail/tcfail047.stderr
testsuite/tests/typecheck/should_fail/tcfail048.stderr
testsuite/tests/typecheck/should_fail/tcfail049.stderr
testsuite/tests/typecheck/should_fail/tcfail050.stderr
testsuite/tests/typecheck/should_fail/tcfail051.stderr
testsuite/tests/typecheck/should_fail/tcfail052.stderr
testsuite/tests/typecheck/should_fail/tcfail053.stderr
testsuite/tests/typecheck/should_fail/tcfail054.stderr
testsuite/tests/typecheck/should_fail/tcfail055.stderr
testsuite/tests/typecheck/should_fail/tcfail056.stderr
testsuite/tests/typecheck/should_fail/tcfail057.stderr
testsuite/tests/typecheck/should_fail/tcfail058.stderr
testsuite/tests/typecheck/should_fail/tcfail061.stderr
testsuite/tests/typecheck/should_fail/tcfail062.stderr
testsuite/tests/typecheck/should_fail/tcfail063.stderr
testsuite/tests/typecheck/should_fail/tcfail065.stderr
testsuite/tests/typecheck/should_fail/tcfail067.stderr
testsuite/tests/typecheck/should_fail/tcfail068.stderr
testsuite/tests/typecheck/should_fail/tcfail069.stderr
testsuite/tests/typecheck/should_fail/tcfail070.stderr
testsuite/tests/typecheck/should_fail/tcfail072.stderr
testsuite/tests/typecheck/should_fail/tcfail073.stderr
testsuite/tests/typecheck/should_fail/tcfail076.stderr
testsuite/tests/typecheck/should_fail/tcfail077.stderr
testsuite/tests/typecheck/should_fail/tcfail078.stderr
testsuite/tests/typecheck/should_fail/tcfail079.stderr
testsuite/tests/typecheck/should_fail/tcfail080.stderr
testsuite/tests/typecheck/should_fail/tcfail082.stderr
testsuite/tests/typecheck/should_fail/tcfail083.stderr
testsuite/tests/typecheck/should_fail/tcfail084.stderr
testsuite/tests/typecheck/should_fail/tcfail085.stderr
testsuite/tests/typecheck/should_fail/tcfail086.stderr
testsuite/tests/typecheck/should_fail/tcfail088.stderr
testsuite/tests/typecheck/should_fail/tcfail090.stderr
testsuite/tests/typecheck/should_fail/tcfail092.stderr
testsuite/tests/typecheck/should_fail/tcfail097.stderr
testsuite/tests/typecheck/should_fail/tcfail098.stderr
testsuite/tests/typecheck/should_fail/tcfail099.stderr
testsuite/tests/typecheck/should_fail/tcfail100.stderr
testsuite/tests/typecheck/should_fail/tcfail101.stderr
testsuite/tests/typecheck/should_fail/tcfail102.stderr
testsuite/tests/typecheck/should_fail/tcfail103.stderr
testsuite/tests/typecheck/should_fail/tcfail104.stderr
testsuite/tests/typecheck/should_fail/tcfail106.stderr
testsuite/tests/typecheck/should_fail/tcfail107.stderr
testsuite/tests/typecheck/should_fail/tcfail108.stderr
testsuite/tests/typecheck/should_fail/tcfail109.stderr
testsuite/tests/typecheck/should_fail/tcfail110.stderr
testsuite/tests/typecheck/should_fail/tcfail112.stderr
testsuite/tests/typecheck/should_fail/tcfail113.stderr
testsuite/tests/typecheck/should_fail/tcfail114.stderr
testsuite/tests/typecheck/should_fail/tcfail116.stderr
testsuite/tests/typecheck/should_fail/tcfail117.stderr
testsuite/tests/typecheck/should_fail/tcfail119.stderr
testsuite/tests/typecheck/should_fail/tcfail121.stderr
testsuite/tests/typecheck/should_fail/tcfail122.stderr
testsuite/tests/typecheck/should_fail/tcfail123.stderr
testsuite/tests/typecheck/should_fail/tcfail125.stderr
testsuite/tests/typecheck/should_fail/tcfail127.stderr
testsuite/tests/typecheck/should_fail/tcfail128.stderr
testsuite/tests/typecheck/should_fail/tcfail129.stderr
testsuite/tests/typecheck/should_fail/tcfail130.stderr
testsuite/tests/typecheck/should_fail/tcfail131.stderr
testsuite/tests/typecheck/should_fail/tcfail132.stderr
testsuite/tests/typecheck/should_fail/tcfail133.stderr
testsuite/tests/typecheck/should_fail/tcfail134.stderr
testsuite/tests/typecheck/should_fail/tcfail135.stderr
testsuite/tests/typecheck/should_fail/tcfail136.stderr
testsuite/tests/typecheck/should_fail/tcfail137.stderr
testsuite/tests/typecheck/should_fail/tcfail139.stderr
testsuite/tests/typecheck/should_fail/tcfail140.stderr
testsuite/tests/typecheck/should_fail/tcfail142.stderr
testsuite/tests/typecheck/should_fail/tcfail143.stderr
testsuite/tests/typecheck/should_fail/tcfail146.stderr
testsuite/tests/typecheck/should_fail/tcfail147.stderr
testsuite/tests/typecheck/should_fail/tcfail148.stderr
testsuite/tests/typecheck/should_fail/tcfail151.stderr
testsuite/tests/typecheck/should_fail/tcfail152.stderr
testsuite/tests/typecheck/should_fail/tcfail153.stderr
testsuite/tests/typecheck/should_fail/tcfail154.stderr
testsuite/tests/typecheck/should_fail/tcfail155.stderr
testsuite/tests/typecheck/should_fail/tcfail156.stderr
testsuite/tests/typecheck/should_fail/tcfail157.stderr
testsuite/tests/typecheck/should_fail/tcfail158.stderr
testsuite/tests/typecheck/should_fail/tcfail159.stderr
testsuite/tests/typecheck/should_fail/tcfail160.stderr
testsuite/tests/typecheck/should_fail/tcfail161.stderr
testsuite/tests/typecheck/should_fail/tcfail162.stderr
testsuite/tests/typecheck/should_fail/tcfail164.stderr
testsuite/tests/typecheck/should_fail/tcfail165.stderr
testsuite/tests/typecheck/should_fail/tcfail167.stderr
testsuite/tests/typecheck/should_fail/tcfail168.stderr
testsuite/tests/typecheck/should_fail/tcfail170.stderr
testsuite/tests/typecheck/should_fail/tcfail171.stderr
testsuite/tests/typecheck/should_fail/tcfail173.stderr
testsuite/tests/typecheck/should_fail/tcfail174.stderr
testsuite/tests/typecheck/should_fail/tcfail175.stderr
testsuite/tests/typecheck/should_fail/tcfail176.stderr
testsuite/tests/typecheck/should_fail/tcfail177.stderr
testsuite/tests/typecheck/should_fail/tcfail178.stderr
testsuite/tests/typecheck/should_fail/tcfail179.stderr
testsuite/tests/typecheck/should_fail/tcfail180.stderr
testsuite/tests/typecheck/should_fail/tcfail181.stderr
testsuite/tests/typecheck/should_fail/tcfail182.stderr
testsuite/tests/typecheck/should_fail/tcfail184.stderr
testsuite/tests/typecheck/should_fail/tcfail185.stderr
testsuite/tests/typecheck/should_fail/tcfail186.stderr
testsuite/tests/typecheck/should_fail/tcfail187.stderr
testsuite/tests/typecheck/should_fail/tcfail189.stderr
testsuite/tests/typecheck/should_fail/tcfail190.stderr
testsuite/tests/typecheck/should_fail/tcfail191.stderr
testsuite/tests/typecheck/should_fail/tcfail192.stderr
testsuite/tests/typecheck/should_fail/tcfail193.stderr
testsuite/tests/typecheck/should_fail/tcfail194.stderr
testsuite/tests/typecheck/should_fail/tcfail195.stderr
testsuite/tests/typecheck/should_fail/tcfail196.stderr
testsuite/tests/typecheck/should_fail/tcfail197.stderr
testsuite/tests/typecheck/should_fail/tcfail198.stderr
testsuite/tests/typecheck/should_fail/tcfail199.stderr
testsuite/tests/typecheck/should_fail/tcfail200.stderr
testsuite/tests/typecheck/should_fail/tcfail201.stderr
testsuite/tests/typecheck/should_fail/tcfail203.stderr
testsuite/tests/typecheck/should_fail/tcfail204.stderr
testsuite/tests/typecheck/should_fail/tcfail206.stderr
testsuite/tests/typecheck/should_fail/tcfail207.stderr
testsuite/tests/typecheck/should_fail/tcfail208.stderr
testsuite/tests/typecheck/should_fail/tcfail209.stderr
testsuite/tests/typecheck/should_fail/tcfail209a.stderr
testsuite/tests/typecheck/should_fail/tcfail210.stderr
testsuite/tests/typecheck/should_fail/tcfail211.stderr
testsuite/tests/typecheck/should_fail/tcfail212.stderr
testsuite/tests/typecheck/should_fail/tcfail213.stderr
testsuite/tests/typecheck/should_fail/tcfail214.stderr
testsuite/tests/typecheck/should_fail/tcfail215.stderr
testsuite/tests/typecheck/should_fail/tcfail216.stderr
testsuite/tests/typecheck/should_fail/tcfail217.stderr
testsuite/tests/typecheck/should_run/tcrun035.stderr

index 70553f9..160575c 100644 (file)
@@ -1,4 +1,4 @@
 
-annfail01.hs:4:1: Not in scope: type constructor or class `Foo'
+annfail01.hs:4:1: Not in scope: type constructor or class ‛Foo’
 
-annfail01.hs:5:1: Not in scope: `f'
+annfail01.hs:5:1: Not in scope: ‛f’
index 83d54f9..21f7aff 100644 (file)
@@ -1,4 +1,4 @@
 
-annfail02.hs:6:1: Not in scope: data constructor `Foo'
+annfail02.hs:6:1: Not in scope: data constructor ‛Foo’
 
-annfail02.hs:7:1: Not in scope: type constructor or class `Bar'
+annfail02.hs:7:1: Not in scope: type constructor or class ‛Bar’
index a7be7fe..9c15855 100644 (file)
@@ -1,7 +1,8 @@
 
 annfail03.hs:17:1:
-    GHC stage restriction: instance for `Data InModule'
-      is used in a top-level splice or annotation,
+    GHC stage restriction:
+      instance for ‛Data
+                      InModule’ is used in a top-level splice or annotation,
       and must be imported, not defined locally
     In the expression: InModule
     In the annotation: {-# ANN f InModule #-}
index dcbe0e7..9d7bf39 100644 (file)
@@ -1,7 +1,8 @@
 
 annfail04.hs:14:12:
-    GHC stage restriction: instance for `Thing Int'
-      is used in a top-level splice or annotation,
+    GHC stage restriction:
+      instance for ‛Thing
+                      Int’ is used in a top-level splice or annotation,
       and must be imported, not defined locally
     In the expression: (thing :: Int)
     In the annotation: {-# ANN f (thing :: Int) #-}
index c5082c3..aec329d 100644 (file)
@@ -1,7 +1,8 @@
 
 annfail06.hs:21:1:
-    GHC stage restriction: instance for `Data InstancesInWrongModule'
-      is used in a top-level splice or annotation,
+    GHC stage restriction:
+      instance for ‛Data
+                      InstancesInWrongModule’ is used in a top-level splice or annotation,
       and must be imported, not defined locally
     In the expression: InstancesInWrongModule
     In the annotation: {-# ANN f InstancesInWrongModule #-}
index 01f4b62..678a160 100644 (file)
@@ -1,6 +1,6 @@
 
 annfail07.hs:9:17:
-    Couldn't match expected type `[a0]' with actual type `Bool'
-    In the first argument of `head', namely `True'
+    Couldn't match expected type ‛[a0]’ with actual type ‛Bool’
+    In the first argument of ‛head’, namely ‛True’
     In the expression: (head True)
     In the annotation: {-# ANN f (head True) #-}
index df18d00..b902347 100644 (file)
@@ -6,6 +6,6 @@ annfail08.hs:9:1:
     In the annotation: {-# ANN f (id + 1) #-}
 
 annfail08.hs:9:15:
-    No instance for (Num (a0 -> a0)) arising from a use of `+'
+    No instance for (Num (a0 -> a0)) arising from a use of ‛+’
     In the expression: (id + 1)
     In the annotation: {-# ANN f (id + 1) #-}
index 5eae63a..4bddab8 100644 (file)
@@ -1,7 +1,7 @@
 
 annfail09.hs:11:11:
-    GHC stage restriction: `g'
-      is used in a top-level splice or annotation,
+    GHC stage restriction:
+      ‛g’ is used in a top-level splice or annotation,
       and must be imported, not defined locally
     In the expression: g
     In the annotation: {-# ANN f g #-}
index c5b0356..0fd7859 100644 (file)
@@ -1,27 +1,27 @@
 
 annfail10.hs:9:1:
     No instance for (Data.Data.Data a0) arising from an annotation
-    The type variable `a0' is ambiguous
+    The type variable ‛a0’ is ambiguous
     Note: there are several potential instances:
-      instance Data.Data.Data () -- Defined in `Data.Data'
+      instance Data.Data.Data () -- Defined in ‛Data.Data’
       instance (Data.Data.Data a, Data.Data.Data b) =>
                Data.Data.Data (a, b)
-        -- Defined in `Data.Data'
+        -- Defined in ‛Data.Data’
       instance (Data.Data.Data a, Data.Data.Data b, Data.Data.Data c) =>
                Data.Data.Data (a, b, c)
-        -- Defined in `Data.Data'
+        -- Defined in ‛Data.Data’
       ...plus 27 others
     In the expression: 1
     In the annotation: {-# ANN f 1 #-}
 
 annfail10.hs:9:11:
-    No instance for (Num a0) arising from the literal `1'
-    The type variable `a0' is ambiguous
+    No instance for (Num a0) arising from the literal ‛1’
+    The type variable ‛a0’ is ambiguous
     Note: there are several potential instances:
-      instance Num Double -- Defined in `GHC.Float'
-      instance Num Float -- Defined in `GHC.Float'
+      instance Num Double -- Defined in ‛GHC.Float’
+      instance Num Float -- Defined in ‛GHC.Float’
       instance Integral a => Num (GHC.Real.Ratio a)
-        -- Defined in `GHC.Real'
+        -- Defined in ‛GHC.Real’
       ...plus 11 others
     In the expression: 1
     In the annotation: {-# ANN f 1 #-}
index 18769f7..39ff0e8 100644 (file)
@@ -1,4 +1,4 @@
 
-annfail11.hs:3:1: Not in scope: `length'
+annfail11.hs:3:1: Not in scope: ‛length’
 
-annfail11.hs:4:1: Not in scope: type constructor or class `Integer'
+annfail11.hs:4:1: Not in scope: type constructor or class ‛Integer’
index 1d3fa3a..567450e 100644 (file)
@@ -1,7 +1,7 @@
 
 T5380.hs:7:27:
-    Couldn't match expected type `Bool' with actual type `not_bool'
-      `not_bool' is a rigid type variable bound by
+    Couldn't match expected type ‛Bool’ with actual type ‛not_bool’
+      ‛not_bool’ is a rigid type variable bound by
                  the type signature for
                    testB :: not_bool -> (() -> ()) -> () -> not_unit
                  at T5380.hs:6:10
@@ -11,12 +11,12 @@ T5380.hs:7:27:
       b :: not_bool (bound at T5380.hs:7:7)
     In the expression: b
     In the expression: proc () -> if b then f -< () else f -< ()
-    In an equation for `testB':
+    In an equation for ‛testB’:
         testB b f = proc () -> if b then f -< () else f -< ()
 
 T5380.hs:7:34:
-    Couldn't match type `not_unit' with `()'
-      `not_unit' is a rigid type variable bound by
+    Couldn't match type ‛not_unit’ with ‛()’
+      ‛not_unit’ is a rigid type variable bound by
                  the type signature for
                    testB :: not_bool -> (() -> ()) -> () -> not_unit
                  at T5380.hs:6:10
@@ -27,5 +27,5 @@ T5380.hs:7:34:
         (bound at T5380.hs:7:1)
     In the expression: f
     In the expression: proc () -> if b then f -< () else f -< ()
-    In an equation for `testB':
+    In an equation for ‛testB’:
         testB b f = proc () -> if b then f -< () else f -< ()
index 261aa27..6dc2cb7 100644 (file)
@@ -1,7 +1,7 @@
 
 arrowfail001.hs:16:36:
-    No instance for (Foo a) arising from a use of `foo'
+    No instance for (Foo a) arising from a use of ‛foo’
     In the expression: foo
     In the expression: proc x -> case x of { Bar a -> foo -< a }
-    In an equation for `get':
+    In an equation for ‛get’:
         get = proc x -> case x of { Bar a -> foo -< a }
index 8a20c6b..65cef25 100644 (file)
@@ -3,5 +3,5 @@ arrowfail004.hs:12:15:
     Proc patterns cannot use existential or GADT data constructors
     In the pattern: T x
     In the expression: proc (T x) -> do { returnA -< T x }
-    In an equation for `panic':
+    In an equation for ‛panic’:
         panic = proc (T x) -> do { returnA -< T x }
index 423d694..359a352 100644 (file)
@@ -1,4 +1,4 @@
 
-GadtOverlap.hs:19:1:
-    Warning: Pattern match(es) are non-exhaustive
-             In an equation for `h': Patterns not matched: T3
+GadtOverlap.hs:19:1: Warning:
+    Pattern match(es) are non-exhaustive
+    In an equation for ‛h’: Patterns not matched: T3
index 4bfd9d6..241a767 100644 (file)
@@ -1,4 +1,4 @@
 
-T2395.hs:12:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `bar': bar _ = ...
+T2395.hs:12:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛bar’: bar _ = ...
index e9ddba1..2860940 100644 (file)
@@ -1,4 +1,4 @@
-\r
-T5117.hs:15:1:\r
-    Warning: Pattern match(es) are overlapped\r
-             In an equation for `f3': f3 (MyString "a") = ...\r
+
+T5117.hs:15:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f3’: f3 (MyString "a") = ...
index baf7ffd..c526e0d 100644 (file)
@@ -1,10 +1,10 @@
 
-ds002.hs:7:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f':
-                 f y = ...
-                 f z = ...
+ds002.hs:7:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f’:
+        f y = ...
+        f z = ...
 
-ds002.hs:11:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `g': g x y z = ...
+ds002.hs:11:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛g’: g x y z = ...
index 5b1bd39..f12789d 100644 (file)
@@ -1,6 +1,6 @@
 
-ds003.hs:5:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f':
-                 f (x : x1 : x2 : x3) ~(y, ys) z = ...
-                 f x y True = ...
+ds003.hs:5:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f’:
+        f (x : x1 : x2 : x3) ~(y, ys) z = ...
+        f x y True = ...
index 6881668..fd13ec7 100644 (file)
@@ -1,7 +1,7 @@
 
-ds019.hs:5:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f':
-                 f d (j, k) p = ...
-                 f (e, f, g) l q = ...
-                 f h (m, n) r = ...
+ds019.hs:5:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f’:
+        f d (j, k) p = ...
+        f (e, f, g) l q = ...
+        f h (m, n) r = ...
index 3f9205a..4232320 100644 (file)
@@ -1,18 +1,18 @@
 
-ds020.hs:8:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `a': a ~(~[], ~[], ~[]) = ...
+ds020.hs:8:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛a’: a ~(~[], ~[], ~[]) = ...
 
-ds020.hs:11:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `b': b ~(~x : ~xs : ~ys) = ...
+ds020.hs:11:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛b’: b ~(~x : ~xs : ~ys) = ...
 
-ds020.hs:16:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `d':
-                 d ~(n+43) = ...
-                 d ~(n+999) = ...
+ds020.hs:16:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛d’:
+        d ~(n+43) = ...
+        d ~(n+999) = ...
 
-ds020.hs:22:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f': f x@(~[]) = ...
+ds020.hs:22:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f’: f x@(~[]) = ...
index ce6d4a5..7dd50a2 100644 (file)
@@ -1,6 +1,6 @@
 
-ds022.hs:20:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `i':
-                 i 1 0.011e2 = ...
-                 i 2 2.20000 = ...
+ds022.hs:20:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛i’:
+        i 1 0.011e2 = ...
+        i 2 2.20000 = ...
index acf3e1a..4812931 100644 (file)
@@ -1,8 +1,8 @@
 
-ds041.hs:1:14:
-    Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+ds041.hs:1:14: Warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
-ds041.hs:16:7:
-    Warning: Fields of `Foo' not initialised: x
+ds041.hs:16:7: Warning:
+    Fields of ‛Foo’ not initialised: x
     In the expression: Foo {}
-    In an equation for `foo': foo = Foo {}
+    In an equation for ‛foo’: foo = Foo {}
index a098efe..c40c446 100644 (file)
@@ -1,12 +1,12 @@
 
-ds051.hs:6:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f1': f1 "ab" = ...
+ds051.hs:6:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f1’: f1 "ab" = ...
 
-ds051.hs:11:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f2': f2 ('a' : 'b' : []) = ...
+ds051.hs:11:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f2’: f2 ('a' : 'b' : []) = ...
 
-ds051.hs:16:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f3': f3 "ab" = ...
+ds051.hs:16:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛f3’: f3 "ab" = ...
index 3bce906..861e66b 100644 (file)
@@ -1,2 +1,2 @@
 
-ds053.hs:5:1: Warning: Defined but not used: `f'
+ds053.hs:5:1: Warning: Defined but not used: ‛f’
index 6e0972b..f4d2e81 100644 (file)
@@ -1,4 +1,4 @@
 
-ds056.hs:8:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `g': g _ = ...
+ds056.hs:8:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for ‛g’: g _ = ...
index 8143dfe..2071183 100644 (file)
@@ -1,13 +1,13 @@
 
 drv021.hs:9:1: Warning:
-    Module `Data.OldTypeable' is deprecated: Use Data.Typeable instead
+    Module ‛Data.OldTypeable’ is deprecated: Use Data.Typeable instead
 
 drv021.hs:14:19: Warning:
-    In the use of type constructor or class `Typeable1'
+    In the use of type constructor or class ‛Typeable1’
     (imported from Data.OldTypeable, but defined in Data.OldTypeable.Internal):
     Deprecated: "Use Data.Typeable.Internal instead"
 
 drv021.hs:15:19: Warning:
-    In the use of type constructor or class `Typeable2'
+    In the use of type constructor or class ‛Typeable2’
     (imported from Data.OldTypeable, but defined in Data.OldTypeable.Internal):
     Deprecated: "Use Data.Typeable.Internal instead"
index 734081e..c1830b1 100644 (file)
@@ -1,7 +1,7 @@
 
 T1133A.hs:6:28:
-    Can't make a derived instance of `Enum X':
-      `X' must be an enumeration type
+    Can't make a derived instance of ‛Enum X’:
+      ‛X’ must be an enumeration type
       (an enumeration consists of one or more nullary, non-GADT constructors)
       Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the newtype declaration for `X'
+    In the newtype declaration for ‛X’
index 9972186..f8ccbda 100644 (file)
@@ -1,6 +1,6 @@
-\r
-T2394.hs:9:1:\r
-    Can't make a derived instance of `Data (a -> b)':\r
-      The last argument of the instance must be a data or newtype application\r
-    In the stand-alone deriving instance for\r
-      `(Data a, Data b) => Data (a -> b)'\r
+
+T2394.hs:9:1:
+    Can't make a derived instance of ‛Data (a -> b)’:
+      The last argument of the instance must be a data or newtype application
+    In the stand-alone deriving instance for
+      ‛(Data a, Data b) => Data (a -> b)’
index 8fe5fff..fc53200 100644 (file)
@@ -1,10 +1,10 @@
-\r
-T2604.hs:7:35:\r
-    Can't make a derived instance of `Typeable * (DList a)':\r
-      You need -XDeriveDataTypeable to derive an instance for this class\r
-    In the data declaration for `DList'\r
-\r
-T2604.hs:9:38:\r
-    Can't make a derived instance of `Typeable * (NList a)':\r
-      You need -XDeriveDataTypeable to derive an instance for this class\r
-    In the newtype declaration for `NList'\r
+
+T2604.hs:7:35:
+    Can't make a derived instance of ‛Typeable * (DList a)’:
+      You need -XDeriveDataTypeable to derive an instance for this class
+    In the data declaration for ‛DList’
+
+T2604.hs:9:38:
+    Can't make a derived instance of ‛Typeable * (NList a)’:
+      You need -XDeriveDataTypeable to derive an instance for this class
+    In the newtype declaration for ‛NList’
index 150add5..722c0c1 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T2701.hs:10:32:\r
-    Can't make a derived instance of `Data Foo':\r
-      Don't know how to derive `Data' for type `Int#'\r
-    In the data declaration for `Foo'\r
+
+T2701.hs:10:32:
+    Can't make a derived instance of ‛Data Foo’:
+      Don't know how to derive ‛Data’ for type ‛Int#’
+    In the data declaration for ‛Foo’
index 03339d3..64e93c3 100644 (file)
@@ -1,6 +1,6 @@
-\r
-T2721.hs:15:28:\r
-    Can't make a derived instance of `C N'\r
-      (even with cunning newtype deriving):\r
-      the class has associated types\r
-    In the newtype declaration for `N'\r
+
+T2721.hs:15:28:
+    Can't make a derived instance of ‛C N’
+      (even with cunning newtype deriving):
+      the class has associated types
+    In the newtype declaration for ‛N’
index b491759..b07e257 100644 (file)
@@ -1,6 +1,6 @@
-\r
-T3101.hs:9:12:\r
-    Can't make a derived instance of `Show Boom':\r
-      Constructor `Boom' must have a Haskell-98 type\r
-      Possible fix: use a standalone deriving declaration instead\r
-    In the data declaration for `Boom'\r
+
+T3101.hs:9:12:
+    Can't make a derived instance of ‛Show Boom’:
+      Constructor ‛Boom’ must have a Haskell-98 type
+      Possible fix: use a standalone deriving declaration instead
+    In the data declaration for ‛Boom’
index 2d31cc1..3221c35 100644 (file)
@@ -1,6 +1,6 @@
 
 T3833.hs:9:1:
-    Can't make a derived instance of `Monoid (DecodeMap e)':
-      `Monoid' is not a derivable class
+    Can't make a derived instance of ‛Monoid (DecodeMap e)’:
+      ‛Monoid’ is not a derivable class
       Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the stand-alone deriving instance for `Monoid (DecodeMap e)'
+    In the stand-alone deriving instance for ‛Monoid (DecodeMap e)’
index 199b4bb..ba51c74 100644 (file)
@@ -1,6 +1,6 @@
 
 T3834.hs:8:1:
-    Can't make a derived instance of `C T':
-      `C' is not a derivable class
+    Can't make a derived instance of ‛C T’:
+      ‛C’ is not a derivable class
       Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the stand-alone deriving instance for `C T'
+    In the stand-alone deriving instance for ‛C T’
index 8f008e8..1746239 100644 (file)
@@ -1,14 +1,14 @@
 
 T4528.hs:9:1:
-    Can't make a derived instance of `Enum (Foo a)':
-      `Foo' must be an enumeration type
+    Can't make a derived instance of ‛Enum (Foo a)’:
+      ‛Foo’ must be an enumeration type
       (an enumeration consists of one or more nullary, non-GADT constructors)
-    In the stand-alone deriving instance for `Enum (Foo a)'
+    In the stand-alone deriving instance for ‛Enum (Foo a)’
 
 T4528.hs:10:1:
-    Can't make a derived instance of `Bounded (Foo a)':
-      `Foo' must be an enumeration type
+    Can't make a derived instance of ‛Bounded (Foo a)’:
+      ‛Foo’ must be an enumeration type
       (an enumeration consists of one or more nullary, non-GADT constructors)
         or
-      `Foo' must have precisely one constructor
-    In the stand-alone deriving instance for `Bounded (Foo a)'
+      ‛Foo’ must have precisely one constructor
+    In the stand-alone deriving instance for ‛Bounded (Foo a)’
index 9de62ef..8bacf06 100644 (file)
@@ -1,10 +1,10 @@
-\r
-T5287.hs:6:10:\r
-    Could not deduce (A a oops0)\r
-      arising from the ambiguity check for an instance declaration\r
-    from the context (A a oops)\r
-      bound by an instance declaration: A a oops => Read (D a)\r
-      at T5287.hs:6:10-31\r
-    The type variable `oops0' is ambiguous\r
-    In the ambiguity check for: forall a oops. A a oops => Read (D a)\r
-    In the instance declaration for `Read (D a)'\r
+
+T5287.hs:6:10:
+    Could not deduce (A a oops0)
+      arising from the ambiguity check for an instance declaration
+    from the context (A a oops)
+      bound by an instance declaration: A a oops => Read (D a)
+      at T5287.hs:6:10-31
+    The type variable ‛oops0’ is ambiguous
+    In the ambiguity check for: forall a oops. A a oops => Read (D a)
+    In the instance declaration for ‛Read (D a)’
index a49b188..e3c968f 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T5478.hs:6:38:\r
-    Can't make a derived instance of `Show Foo':\r
-      Don't know how to derive `Show' for type `ByteArray#'\r
-    In the data declaration for `Foo'\r
+
+T5478.hs:6:38:
+    Can't make a derived instance of ‛Show Foo’:
+      Don't know how to derive ‛Show’ for type ‛ByteArray#’
+    In the data declaration for ‛Foo’
index 27f998f..0bffdf5 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T5686.hs:4:29:\r
-    Can't make a derived instance of `Functor U':\r
-      Constructor `U' must use the type variable only as the last argument of a data type\r
-    In the data declaration for `U'\r
+
+T5686.hs:4:29:
+    Can't make a derived instance of ‛Functor U’:
+      Constructor ‛U’ must use the type variable only as the last argument of a data type
+    In the data declaration for ‛U’
index 8b8de18..1b58511 100644 (file)
@@ -1,4 +1,4 @@
-\r
-T5922.hs:3:42:\r
-    Illegal deriving item `show'\r
-    In the data declaration for `Proposition'\r
+
+T5922.hs:3:42:
+    Illegal deriving item ‛show’
+    In the data declaration for ‛Proposition’
index fa5633e..e4c07b5 100644 (file)
@@ -16,11 +16,11 @@ drvfail-foldable-traversable1.hs:13:22:
     When deriving the instance for (Traversable Trivial2)
 
 drvfail-foldable-traversable1.hs:17:22:
-    Can't make a derived instance of `Foldable Infinite':
-      Constructor `Infinite' must not contain function types
-    In the data declaration for `Infinite'
+    Can't make a derived instance of ‛Foldable Infinite’:
+      Constructor ‛Infinite’ must not contain function types
+    In the data declaration for ‛Infinite’
 
 drvfail-foldable-traversable1.hs:21:22:
-    Can't make a derived instance of `Traversable (Cont r)':
-      Constructor `Cont' must not contain function types
-    In the data declaration for `Cont'
+    Can't make a derived instance of ‛Traversable (Cont r)’:
+      Constructor ‛Cont’ must not contain function types
+    In the data declaration for ‛Cont’
index 54632ba..ec0e794 100644 (file)
@@ -1,5 +1,5 @@
-\r
-drvfail-functor1.hs:6:14:\r
-    Can't make a derived instance of `Functor List':\r
-      You need -XDeriveFunctor to derive an instance for this class\r
-    In the data declaration for `List'\r
+
+drvfail-functor1.hs:6:14:
+    Can't make a derived instance of ‛Functor List’:
+      You need -XDeriveFunctor to derive an instance for this class
+    In the data declaration for ‛List’
index 54dc6f7..8691b38 100644 (file)
@@ -3,24 +3,24 @@ drvfail-functor2.hs:1:29: Warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
 drvfail-functor2.hs:7:14:
-    Can't make a derived instance of `Functor InFunctionArgument':
-      Constructor `InFunctionArgument' must not use the type variable in a function argument
-    In the newtype declaration for `InFunctionArgument'
+    Can't make a derived instance of ‛Functor InFunctionArgument’:
+      Constructor ‛InFunctionArgument’ must not use the type variable in a function argument
+    In the newtype declaration for ‛InFunctionArgument’
 
 drvfail-functor2.hs:10:14:
-    Can't make a derived instance of `Functor OnSecondArg':
-      Constructor `OnSecondArg' must use the type variable only as the last argument of a data type
-    In the newtype declaration for `OnSecondArg'
+    Can't make a derived instance of ‛Functor OnSecondArg’:
+      Constructor ‛OnSecondArg’ must use the type variable only as the last argument of a data type
+    In the newtype declaration for ‛OnSecondArg’
 
 drvfail-functor2.hs:15:14:
-    Cannot derive well-kinded instance of form `Functor (NoArguments ...)'
-      Class `Functor' expects an argument of kind `* -> *'
-    In the newtype declaration for `NoArguments'
+    Cannot derive well-kinded instance of form ‛Functor (NoArguments ...)’
+      Class ‛Functor’ expects an argument of kind ‛* -> *’
+    In the newtype declaration for ‛NoArguments’
 
 drvfail-functor2.hs:20:14:
-    Can't make a derived instance of `Functor StupidConstraint':
-      Data type `StupidConstraint' must not have a class context (Eq a)
-    In the data declaration for `StupidConstraint'
+    Can't make a derived instance of ‛Functor StupidConstraint’:
+      Data type ‛StupidConstraint’ must not have a class context (Eq a)
+    In the data declaration for ‛StupidConstraint’
 
 drvfail-functor2.hs:26:14:
     No instance for (Functor NoFunctor)
index 327eb7c..c77f904 100644 (file)
@@ -1,5 +1,5 @@
-\r
-drvfail005.hs:4:13:\r
-    Can't make a derived instance of `Show a (Test a)':\r
-      `Show a' is not a class\r
-    In the data declaration for `Test'\r
+
+drvfail005.hs:4:13:
+    Can't make a derived instance of ‛Show a (Test a)’:
+      ‛Show a’ is not a class
+    In the data declaration for ‛Test’
index 7594bae..d9592c4 100644 (file)
@@ -1,23 +1,23 @@
-\r
-drvfail009.hs:10:31:\r
-    Can't make a derived instance of `C T1'\r
-      (even with cunning newtype deriving):\r
-      `C' does not have arity 1\r
-    In the newtype declaration for `T1'\r
-\r
-drvfail009.hs:13:31:\r
-    Cannot derive well-kinded instance of form `Monad (T2 ...)'\r
-      Class `Monad' expects an argument of kind `* -> *'\r
-    In the newtype declaration for `T2'\r
-\r
-drvfail009.hs:16:33:\r
-    Can't make a derived instance of `Monad T3'\r
-      (even with cunning newtype deriving):\r
-      cannot eta-reduce the representation type enough\r
-    In the newtype declaration for `T3'\r
-\r
-drvfail009.hs:19:42:\r
-    Can't make a derived instance of `Monad T4'\r
-      (even with cunning newtype deriving):\r
-      cannot eta-reduce the representation type enough\r
-    In the newtype declaration for `T4'\r
+
+drvfail009.hs:10:31:
+    Can't make a derived instance of ‛C T1’
+      (even with cunning newtype deriving):
+      ‛C’ does not have arity 1
+    In the newtype declaration for ‛T1’
+
+drvfail009.hs:13:31:
+    Cannot derive well-kinded instance of form ‛Monad (T2 ...)’
+      Class ‛Monad’ expects an argument of kind ‛* -> *’
+    In the newtype declaration for ‛T2’
+
+drvfail009.hs:16:33:
+    Can't make a derived instance of ‛Monad T3’
+      (even with cunning newtype deriving):
+      cannot eta-reduce the representation type enough
+    In the newtype declaration for ‛T3’
+
+drvfail009.hs:19:42:
+    Can't make a derived instance of ‛Monad T4’
+      (even with cunning newtype deriving):
+      cannot eta-reduce the representation type enough
+    In the newtype declaration for ‛T4’
index 9bb04bf..6ec1df7 100644 (file)
@@ -1,10 +1,10 @@
 
 drvfail011.hs:8:1:
-    No instance for (Eq a) arising from a use of `=='
+    No instance for (Eq a) arising from a use of ‛==’
     Possible fix: add (Eq a) to the context of the instance declaration
     In the expression: ((a1 == b1))
-    In an equation for `==': == (T1 a1) (T1 b1) = ((a1 == b1))
-    When typechecking the code for  `=='
-      in a standalone derived instance for `Eq (T a)':
+    In an equation for ‛==’: == (T1 a1) (T1 b1) = ((a1 == b1))
+    When typechecking the code for  ‛==’
+      in a standalone derived instance for ‛Eq (T a)’:
       To see the code I am typechecking, use -ddump-deriv
-    In the instance declaration for `Eq (T a)'
+    In the instance declaration for ‛Eq (T a)’
index 47b4aab..93a4c78 100644 (file)
@@ -1,9 +1,9 @@
-\r
-drvfail014.hs:8:28:\r
-    Use deriving( Typeable ) on a data type declaration\r
-    In the data declaration for `T1'\r
-\r
-drvfail014.hs:12:1:\r
-    Derived typeable instance must be of form (Typeable2 T2)\r
-    In the stand-alone deriving instance for\r
-      `(Typeable a, Typeable b) => Typeable (T2 a b)'\r
+
+drvfail014.hs:8:28:
+    Use deriving( Typeable ) on a data type declaration
+    In the data declaration for ‛T1’
+
+drvfail014.hs:12:1:
+    Derived typeable instance must be of form (Typeable2 T2)
+    In the stand-alone deriving instance for
+      ‛(Typeable a, Typeable b) => Typeable (T2 a b)’
index a7d8ac6..7a755c6 100644 (file)
@@ -1,13 +1,13 @@
-\r
-drvfail015.hs:10:19:\r
-    Illegal instance declaration for `Eq T'\r
-      (All instance types must be of the form (T t1 ... tn)\r
-       where T is not a synonym.\r
-       Use -XTypeSynonymInstances if you want to disable this.)\r
-    In the stand-alone deriving instance for `Eq T'\r
-\r
-drvfail015.hs:13:1:\r
-    Can't make a derived instance of `Eq Handle':\r
-      The data constructors of `Handle' are not all in scope\r
-        so you cannot derive an instance for it\r
-    In the stand-alone deriving instance for `Eq Handle'\r
+
+drvfail015.hs:10:19:
+    Illegal instance declaration for ‛Eq T’
+      (All instance types must be of the form (T t1 ... tn)
+       where T is not a synonym.
+       Use -XTypeSynonymInstances if you want to disable this.)
+    In the stand-alone deriving instance for ‛Eq T’
+
+drvfail015.hs:13:1:
+    Can't make a derived instance of ‛Eq Handle’:
+      The data constructors of ‛Handle’ are not all in scope
+        so you cannot derive an instance for it
+    In the stand-alone deriving instance for ‛Eq Handle’
index f06f294..e332c56 100644 (file)
@@ -1,2 +1,2 @@
 
-Main.hs:5:5: Not in scope: data constructor `T'
+Main.hs:5:5: Not in scope: data constructor ‛T’
index 6e8427b..43f0f93 100644 (file)
@@ -1,5 +1,5 @@
 
 A.hs:6:15:
-    No instance for (Show (Fields v)) arising from a use of `show'
+    No instance for (Show (Fields v)) arising from a use of ‛show’
     In the expression: show a
-    In an equation for `showField': showField a = show a
+    In an equation for ‛showField’: showField a = show a
index 3059288..7b7d07e 100644 (file)
@@ -1,5 +1,5 @@
 
 T6037.hs:5:7:
-    Couldn't match expected type `Int' with actual type `()'
+    Couldn't match expected type ‛Int’ with actual type ‛()’
     In the expression: ()
-    In an equation for `f?o': f?o = ()
+    In an equation for ‛f?o’: f?o = ()
index bc55b86..9ee41b5 100644 (file)
@@ -1,5 +1,5 @@
 
 Foo.hs:1:1:
     File name does not match module name:
-    Saw: `Main'
-    Expected: `Foo'
+    Saw: ‛Main’
+    Expected: ‛Foo’
index 0a68015..a50340d 100644 (file)
@@ -1,4 +1,4 @@
 
 D063.hs:2:8:
-    Could not find module `A063'
+    Could not find module ‛A063’
     It is not a module in the current program, or in any known package.
index 4b95415..bd75be7 100644 (file)
@@ -1,2 +1,2 @@
 
-C.hs:3:11: Module `B' does not export `foo'
+C.hs:3:11: Module ‛B’ does not export ‛foo’
index 8e4ad93..130e562 100644 (file)
@@ -1,4 +1,4 @@
 
 C.hs:7:11: Warning:
-    Rule "f/g" may never fire because `f' might inline first
-    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on `f'
+    Rule "f/g" may never fire because ‛f’ might inline first
+    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‛f’
index 4bad5e6..45c00e9 100644 (file)
@@ -3,14 +3,14 @@ werror.hs:6:1: Warning:
     Top-level binding with no type signature: main :: IO ()
 
 werror.hs:7:13: Warning:
-    This binding for `main' shadows the existing binding
+    This binding for ‛main’ shadows the existing binding
       defined at werror.hs:6:1
 
-werror.hs:7:13: Warning: Defined but not used: `main'
+werror.hs:7:13: Warning: Defined but not used: ‛main’
 
 werror.hs:8:1: Warning: Tab character
 
-werror.hs:10:1: Warning: Defined but not used: `f'
+werror.hs:10:1: Warning: Defined but not used: ‛f’
 
 werror.hs:10:1: Warning:
     Top-level binding with no type signature:
@@ -18,11 +18,11 @@ werror.hs:10:1: Warning:
 
 werror.hs:10:1: Warning:
     Pattern match(es) are overlapped
-    In an equation for `f': f [] = ...
+    In an equation for ‛f’: f [] = ...
 
 werror.hs:10:1: Warning:
     Pattern match(es) are non-exhaustive
-    In an equation for `f': Patterns not matched: _ : _
+    In an equation for ‛f’: Patterns not matched: _ : _
 
 <no location info>: 
 Failing due to -Werror.
index b93b523..ce64010 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T3163.hs:8:5:\r
-    Illegal polymorphic or qualified type: forall s. s\r
-    In the definition of data constructor `Unreached'\r
-    In the data declaration for `Taker'\r
+
+T3163.hs:8:5:
+    Illegal polymorphic or qualified type: forall s. s
+    In the definition of data constructor ‛Unreached’
+    In the data declaration for ‛Taker’
index 62f49d4..2923420 100644 (file)
@@ -3,7 +3,7 @@ T3169.hs:13:22:
     Could not deduce (elt ~ Map b elt)
     from the context (Key a, Key b)
       bound by the instance declaration at T3169.hs:10:10-36
-      `elt' is a rigid type variable bound by
+      ‛elt’ is a rigid type variable bound by
             the type signature for
               lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
             at T3169.hs:12:3
@@ -14,7 +14,7 @@ T3169.hs:13:22:
         (bound at T3169.hs:12:3)
       b :: b (bound at T3169.hs:12:13)
       m :: Map (a, b) elt (bound at T3169.hs:12:17)
-    In the second argument of `lookup', namely `m'
+    In the second argument of ‛lookup’, namely ‛m’
     In the expression: lookup a m :: Maybe (Map b elt)
     In the expression:
       case lookup a m :: Maybe (Map b elt) of {
index 778fe0f..8f53dc0 100644 (file)
@@ -1,35 +1,35 @@
 
 T3651.hs:11:11:
-    Couldn't match type `Bool' with `()'
+    Couldn't match type ‛Bool’ with ‛()’
     Inaccessible code in
-      a pattern with constructor U :: Z (), in an equation for `unsafe1'
+      a pattern with constructor U :: Z (), in an equation for ‛unsafe1’
     In the pattern: U
-    In an equation for `unsafe1': unsafe1 B U = ()
+    In an equation for ‛unsafe1’: unsafe1 B U = ()
 
 T3651.hs:11:15:
-    Couldn't match type `Bool' with `()'
+    Couldn't match type ‛Bool’ with ‛()’
     Expected type: a
       Actual type: ()
     In the expression: ()
-    In an equation for `unsafe1': unsafe1 B U = ()
+    In an equation for ‛unsafe1’: unsafe1 B U = ()
 
 T3651.hs:14:11:
-    Couldn't match type `Bool' with `()'
+    Couldn't match type ‛Bool’ with ‛()’
     Inaccessible code in
-      a pattern with constructor U :: Z (), in an equation for `unsafe2'
+      a pattern with constructor U :: Z (), in an equation for ‛unsafe2’
     In the pattern: U
-    In an equation for `unsafe2': unsafe2 B U = ()
+    In an equation for ‛unsafe2’: unsafe2 B U = ()
 
 T3651.hs:14:15:
-    Couldn't match type `Bool' with `()'
+    Couldn't match type ‛Bool’ with ‛()’
     Expected type: a
       Actual type: ()
     In the expression: ()
-    In an equation for `unsafe2': unsafe2 B U = ()
+    In an equation for ‛unsafe2’: unsafe2 B U = ()
 
 T3651.hs:17:11:
-    Couldn't match type `Bool' with `()'
+    Couldn't match type ‛Bool’ with ‛()’
     Inaccessible code in
-      a pattern with constructor U :: Z (), in an equation for `unsafe3'
+      a pattern with constructor U :: Z (), in an equation for ‛unsafe3’
     In the pattern: U
-    In an equation for `unsafe3': unsafe3 B U = True
+    In an equation for ‛unsafe3’: unsafe3 B U = True
index 61cdc25..98a4fe4 100644 (file)
@@ -1,9 +1,9 @@
 
 T7293.hs:24:5:
-    Couldn't match type 'False with 'True
+    Couldn't match type ‛'False’ with ‛'True’
     Inaccessible code in
       a pattern with constructor
         Nil :: forall a. Vec a 'Zero,
-      in an equation for `nth'
+      in an equation for ‛nth’
     In the pattern: Nil
-    In an equation for `nth': nth Nil _ = undefined
+    In an equation for ‛nth’: nth Nil _ = undefined
index dc1eef1..bfb6496 100644 (file)
@@ -1,9 +1,9 @@
 
 T7294.hs:25:5: Warning:
-    Couldn't match type 'False with 'True
+    Couldn't match type ‛'False’ with ‛'True’
     Inaccessible code in
       a pattern with constructor
         Nil :: forall a. Vec a 'Zero,
-      in an equation for `nth'
+      in an equation for ‛nth’
     In the pattern: Nil
-    In an equation for `nth': nth Nil _ = undefined
+    In an equation for ‛nth’: nth Nil _ = undefined
index 53885ff..fbc1b67 100644 (file)
@@ -1,19 +1,19 @@
-\r
-gadt-escape1.hs:19:58:\r
-    Couldn't match type `t' with `ExpGADT Int'\r
-      `t' is untouchable\r
-        inside the constraints (t1 ~ Int)\r
-        bound by a pattern with constructor\r
-                   ExpInt :: Int -> ExpGADT Int,\r
-                 in a case alternative\r
-        at gadt-escape1.hs:19:43-50\r
-      `t' is a rigid type variable bound by\r
-          the inferred type of weird1 :: t at gadt-escape1.hs:19:1\r
-    Expected type: t\r
-      Actual type: ExpGADT t1\r
-    Relevant bindings include\r
-      weird1 :: t (bound at gadt-escape1.hs:19:1)\r
-    In the expression: a\r
-    In a case alternative: Hidden (ExpInt _) a -> a\r
-    In the expression:\r
-      case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }\r
+
+gadt-escape1.hs:19:58:
+    Couldn't match type ‛t’ with ‛ExpGADT Int’
+      ‛t’ is untouchable
+        inside the constraints (t1 ~ Int)
+        bound by a pattern with constructor
+                   ExpInt :: Int -> ExpGADT Int,
+                 in a case alternative
+        at gadt-escape1.hs:19:43-50
+      ‛t’ is a rigid type variable bound by
+          the inferred type of weird1 :: t at gadt-escape1.hs:19:1
+    Expected type: t
+      Actual type: ExpGADT t1
+    Relevant bindings include
+      weird1 :: t (bound at gadt-escape1.hs:19:1)
+    In the expression: a
+    In a case alternative: Hidden (ExpInt _) a -> a
+    In the expression:
+      case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }
index e244eca..fa485aa 100644 (file)
@@ -1,7 +1,7 @@
-\r
-gadt10.hs:6:24:\r
-    Expecting one more argument to `RInt'\r
-    Expected kind `*', but `RInt' has kind `k0 -> *'\r
-    In the type `RInt'\r
-    In the definition of data constructor `R'\r
-    In the data declaration for `RInt'\r
+
+gadt10.hs:6:24:
+    Expecting one more argument to ‛RInt’
+    Expected kind ‛*’, but ‛RInt’ has kind ‛k0 -> *’
+    In the type ‛RInt’
+    In the definition of data constructor ‛R’
+    In the data declaration for ‛RInt’
index bfe38d4..96f636c 100644 (file)
@@ -1,6 +1,6 @@
-\r
-gadt11.hs:9:3:\r
-    Data constructor `B1' returns type `X []'\r
-      instead of an instance of its parent type `B a'\r
-    In the definition of data constructor `B1'\r
-    In the data declaration for `B'\r
+
+gadt11.hs:9:3:
+    Data constructor ‛B1’ returns type ‛X []’
+      instead of an instance of its parent type ‛B a’
+    In the definition of data constructor ‛B1’
+    In the data declaration for ‛B’
index b03ff49..3b39f07 100644 (file)
@@ -1,16 +1,16 @@
-\r
-gadt13.hs:15:13:\r
-    Couldn't match expected type `t'\r
-                with actual type `String -> [Char]'\r
-      `t' is untouchable\r
-        inside the constraints (t1 ~ Int)\r
-        bound by a pattern with constructor\r
-                   I :: Int -> Term Int,\r
-                 in an equation for `shw'\r
-        at gadt13.hs:15:6-8\r
-      `t' is a rigid type variable bound by\r
-          the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1\r
-    Relevant bindings include\r
-      shw :: Term t1 -> t (bound at gadt13.hs:15:1)\r
-    In the expression: ("I " ++) . shows t\r
-    In an equation for `shw': shw (I t) = ("I " ++) . shows t\r
+
+gadt13.hs:15:13:
+    Couldn't match expected type ‛t’
+                with actual type ‛String -> [Char]’
+      ‛t’ is untouchable
+        inside the constraints (t1 ~ Int)
+        bound by a pattern with constructor
+                   I :: Int -> Term Int,
+                 in an equation for ‛shw’
+        at gadt13.hs:15:6-8
+      ‛t’ is a rigid type variable bound by
+          the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1
+    Relevant bindings include
+      shw :: Term t1 -> t (bound at gadt13.hs:15:1)
+    In the expression: ("I " ++) . shows t
+    In an equation for ‛shw’: shw (I t) = ("I " ++) . shows t
index 061c563..0293eaa 100644 (file)
@@ -1,20 +1,19 @@
 
 gadt21.hs:21:60:
-    Could not deduce (Ord a1) arising from a use of `f'
+    Could not deduce (Ord a1) arising from a use of ‛f’
     from the context (a ~ Set a1)
       bound by a pattern with constructor
                  TypeSet :: forall a. Type a -> Type (Set a),
-               in an equation for `withOrdDynExpr'
+               in an equation for ‛withOrdDynExpr’
       at gadt21.hs:21:35-43
     Possible fix:
       add (Ord a1) to the context of
-        the data constructor `TypeSet'
-        or the data constructor `DynExpr'
+        the data constructor ‛TypeSet’
+        or the data constructor ‛DynExpr’
         or the type signature for
              withOrdDynExpr :: DynExpr
-                               -> (forall a. Ord a => Expr a -> b)
-                               -> Maybe b
-    In the first argument of `Just', namely `(f e)'
+                               -> (forall a. Ord a => Expr a -> b) -> Maybe b
+    In the first argument of ‛Just’, namely ‛(f e)’
     In the expression: Just (f e)
-    In an equation for `withOrdDynExpr':
+    In an equation for ‛withOrdDynExpr’:
         withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e)
index 561b0b5..186bfd3 100644 (file)
@@ -1,20 +1,20 @@
-\r
-gadt7.hs:16:38:\r
-    Couldn't match expected type `t' with actual type `t1'\r
-      `t1' is untouchable\r
-        inside the constraints (t2 ~ Int)\r
-        bound by a pattern with constructor\r
-                   K :: T Int,\r
-                 in a case alternative\r
-        at gadt7.hs:16:33\r
-      `t1' is a rigid type variable bound by\r
-           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1\r
-      `t' is a rigid type variable bound by\r
-          the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1\r
-    Relevant bindings include\r
-      i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)\r
-      y :: t1 (bound at gadt7.hs:16:7)\r
-      y1 :: t1 (bound at gadt7.hs:16:16)\r
-    In the expression: y1\r
-    In a case alternative: K -> y1\r
-    In the expression: case t1 of { K -> y1 }\r
+
+gadt7.hs:16:38:
+    Couldn't match expected type ‛t’ with actual type ‛t1’
+      ‛t1’ is untouchable
+        inside the constraints (t2 ~ Int)
+        bound by a pattern with constructor
+                   K :: T Int,
+                 in a case alternative
+        at gadt7.hs:16:33
+      ‛t1’ is a rigid type variable bound by
+           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
+      ‛t’ is a rigid type variable bound by
+          the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
+    Relevant bindings include
+      i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)
+      y :: t1 (bound at gadt7.hs:16:7)
+      y1 :: t1 (bound at gadt7.hs:16:16)
+    In the expression: y1
+    In a case alternative: K -> y1
+    In the expression: case t1 of { K -> y1 }
index aa837b7..53b198a 100644 (file)
@@ -1,6 +1,6 @@
-\r
-gadtSyntaxFail001.hs:8:5:\r
-    Data constructor `C2' has existential type variables, a context, or a specialised result type\r
-      (Use -XExistentialQuantification or -XGADTs to allow this)\r
-    In the definition of data constructor `C2'\r
-    In the data declaration for `Foo'\r
+
+gadtSyntaxFail001.hs:8:5:
+    Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
+      (Use -XExistentialQuantification or -XGADTs to allow this)
+    In the definition of data constructor ‛C2’
+    In the data declaration for ‛Foo’
index a2b101a..ca1060d 100644 (file)
@@ -1,6 +1,6 @@
-\r
-gadtSyntaxFail002.hs:8:5:\r
-    Data constructor `C2' has existential type variables, a context, or a specialised result type\r
-      (Use -XExistentialQuantification or -XGADTs to allow this)\r
-    In the definition of data constructor `C2'\r
-    In the data declaration for `Foo'\r
+
+gadtSyntaxFail002.hs:8:5:
+    Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
+      (Use -XExistentialQuantification or -XGADTs to allow this)
+    In the definition of data constructor ‛C2’
+    In the data declaration for ‛Foo’
index 3cd4611..eb2e370 100644 (file)
@@ -1,6 +1,6 @@
-\r
-gadtSyntaxFail003.hs:7:5:\r
-    Data constructor `C1' has existential type variables, a context, or a specialised result type\r
-      (Use -XExistentialQuantification or -XGADTs to allow this)\r
-    In the definition of data constructor `C1'\r
-    In the data declaration for `Foo'\r
+
+gadtSyntaxFail003.hs:7:5:
+    Data constructor ‛C1’ has existential type variables, a context, or a specialised result type
+      (Use -XExistentialQuantification or -XGADTs to allow this)
+    In the definition of data constructor ‛C1’
+    In the data declaration for ‛Foo’
index d64f40e..460c600 100644 (file)
@@ -4,4 +4,4 @@ lazypat.hs:7:5:
       inside a lazy (~) pattern
     In the pattern: T x f
     In the pattern: ~(T x f)
-    In an equation for `f': f ~(T x f) = f x
+    In an equation for ‛f’: f ~(T x f) = f x
index 829114e..690649d 100644 (file)
@@ -1,5 +1,5 @@
-\r
-records-fail1.hs:7:1:\r
-    Constructors T1 and T4 have a common field `x',\r
-      but have different result types\r
-    In the data declaration for `T'\r
+
+records-fail1.hs:7:1:
+    Constructors T1 and T4 have a common field ‛x’,
+      but have different result types
+    In the data declaration for ‛T’
index ef5453c..584c944 100644 (file)
@@ -1,20 +1,20 @@
 
 rw.hs:14:47:
-    Couldn't match expected type `a' with actual type `Int'
-      `a' is a rigid type variable bound by
+    Couldn't match expected type ‛a’ with actual type ‛Int’
+      ‛a’ is a rigid type variable bound by
           the type signature for writeInt :: T a -> IORef a -> IO ()
           at rw.hs:12:12
     Relevant bindings include
       writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1)
       v :: T a (bound at rw.hs:13:10)
       ref :: IORef a (bound at rw.hs:13:12)
-    In the second argument of `writeIORef', namely `(1 :: Int)'
+    In the second argument of ‛writeIORef’, namely ‛(1 :: Int)’
     In the expression: writeIORef ref (1 :: Int)
     In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
 
 rw.hs:19:51:
-    Couldn't match type `a' with `Bool'
-      `a' is a rigid type variable bound by
+    Couldn't match type ‛a’ with ‛Bool’
+      ‛a’ is a rigid type variable bound by
           the type signature for readBool :: T a -> IORef a -> IO ()
           at rw.hs:16:12
     Expected type: a -> Bool
@@ -23,6 +23,6 @@ rw.hs:19:51:
       readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1)
       v :: T a (bound at rw.hs:17:10)
       ref :: IORef a (bound at rw.hs:17:12)
-    In the second argument of `(.)', namely `not'
-    In the second argument of `(>>=)', namely `(print . not)'
+    In the second argument of ‛(.)’, namely ‛not’
+    In the second argument of ‛(>>=)’, namely ‛(print . not)’
     In the expression: readIORef ref >>= (print . not)
index 291ab14..d216a70 100644 (file)
@@ -3,21 +3,21 @@ GenCannotDoRep0.hs:6:14: Warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
 GenCannotDoRep0.hs:13:45:
-    Can't make a derived instance of `Generic Dynamic':
+    Can't make a derived instance of ‛Generic Dynamic’:
       Dynamic must be a vanilla data constructor
-    In the data declaration for `Dynamic'
+    In the data declaration for ‛Dynamic’
 
 GenCannotDoRep0.hs:17:1:
-    Can't make a derived instance of `Generic (P Int)':
+    Can't make a derived instance of ‛Generic (P Int)’:
       P must not be instantiated; try deriving `P a' instead
-    In the stand-alone deriving instance for `Generic (P Int)'
+    In the stand-alone deriving instance for ‛Generic (P Int)’
 
 GenCannotDoRep0.hs:26:1:
-    Can't make a derived instance of `Generic (D Char Char)':
+    Can't make a derived instance of ‛Generic (D Char Char)’:
       D must not be instantiated; try deriving `D Char b' instead
-    In the stand-alone deriving instance for `Generic (D Char Char)'
+    In the stand-alone deriving instance for ‛Generic (D Char Char)’
 
 GenCannotDoRep0.hs:28:1:
-    Can't make a derived instance of `Generic (D Int a)':
+    Can't make a derived instance of ‛Generic (D Int a)’:
       D must not have a datatype context
-    In the stand-alone deriving instance for `Generic (D Int a)'
+    In the stand-alone deriving instance for ‛Generic (D Int a)’
index dde1d5b..7e0f124 100644 (file)
@@ -1,8 +1,8 @@
-\r
-GenCannotDoRep1.hs:1:29: Warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-\r
-GenCannotDoRep1.hs:8:49:\r
-    Can't make a derived instance of `Generic (Context a)':\r
-      Context must not have a datatype context\r
-    In the data declaration for `Context'\r
+
+GenCannotDoRep1.hs:1:29: Warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+GenCannotDoRep1.hs:8:49:
+    Can't make a derived instance of ‛Generic (Context a)’:
+      Context must not have a datatype context
+    In the data declaration for ‛Context’
index 2e602af..c75205a 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_0.hs:9:49:
-    Can't make a derived instance of `Generic1 Dynamic':
+    Can't make a derived instance of ‛Generic1 Dynamic’:
       Dynamic must be a vanilla data constructor
-    In the data declaration for `Dynamic'
+    In the data declaration for ‛Dynamic’
index df9f518..97eeca5 100644 (file)
@@ -3,6 +3,6 @@ GenCannotDoRep1_1.hs:1:29: Warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
 GenCannotDoRep1_1.hs:8:49:
-    Can't make a derived instance of `Generic1 Context':
+    Can't make a derived instance of ‛Generic1 Context’:
       Context must not have a datatype context
-    In the data declaration for `Context'
+    In the data declaration for ‛Context’
index ffda5ff..32aebb7 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_2.hs:13:1:
-    Can't make a derived instance of `Generic1 Term':
+    Can't make a derived instance of ‛Generic1 Term’:
       Int must be a vanilla data constructor
-    In the stand-alone deriving instance for `Generic1 Term'
+    In the stand-alone deriving instance for ‛Generic1 Term’
index 7312a95..7e54463 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_3.hs:11:33:
-    Can't make a derived instance of `Generic1 T':
-      Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->)
-    In the data declaration for `T'
+    Can't make a derived instance of ‛Generic1 T’:
+      Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->)
+    In the data declaration for ‛T’
index 2a8d2a6..e4b3983 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_4.hs:8:34:
-    Can't make a derived instance of `Generic1 T':
-      Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->)
-    In the data declaration for `T'
+    Can't make a derived instance of ‛Generic1 T’:
+      Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->)
+    In the data declaration for ‛T’
index 13d2508..21e8490 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_5.hs:9:32:
-    Can't make a derived instance of `Generic1 T':
-      Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->)
-    In the data declaration for `T'
+    Can't make a derived instance of ‛Generic1 T’:
+      Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->)
+    In the data declaration for ‛T’
index 16b822e..06d95b2 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_6.hs:9:43:
-    Can't make a derived instance of `Generic1 T':
-      Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->)
-    In the data declaration for `T'
+    Can't make a derived instance of ‛Generic1 T’:
+      Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->)
+    In the data declaration for ‛T’
index 3b6af68..2830a6d 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_7.hs:11:29:
-    Can't make a derived instance of `Generic1 T':
+    Can't make a derived instance of ‛Generic1 T’:
       must not apply type constructors that cannot be represented with `Rep1' (such as `B') to arguments that involve the last type parameter
-    In the data declaration for `T'
+    In the data declaration for ‛T’
index c0d6929..3059444 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep1_8.hs:12:30:
-    Can't make a derived instance of `Generic1 T':
-      Constructor `T' must use the last type parameter only as the last argument of a data type, newtype, or (->)
-    In the data declaration for `T'
+    Can't make a derived instance of ‛Generic1 T’:
+      Constructor ‛T’ must use the last type parameter only as the last argument of a data type, newtype, or (->)
+    In the data declaration for ‛T’
index 35caf2c..6351023 100644 (file)
@@ -1,5 +1,5 @@
 
 GenCannotDoRep2.hs:13:1:
-    Can't make a derived instance of `Generic (Term a)':
+    Can't make a derived instance of ‛Generic (Term a)’:
       Int must be a vanilla data constructor
-    In the stand-alone deriving instance for `Generic (Term a)'
+    In the stand-alone deriving instance for ‛Generic (Term a)’
index 3685e67..f85cd92 100644 (file)
@@ -1,5 +1,5 @@
 
 GenShouldFail0.hs:9:1:
-    Can't make a derived instance of `Generic X':
+    Can't make a derived instance of ‛Generic X’:
       You need -XDeriveGeneric to derive an instance for this class
-    In the stand-alone deriving instance for `Generic X'
+    In the stand-alone deriving instance for ‛Generic X’
index 9b7ba3e..00779d0 100644 (file)
@@ -1,5 +1,5 @@
 
 GenShouldFail1_0.hs:9:1:
-    Can't make a derived instance of `Generic1 X':
+    Can't make a derived instance of ‛Generic1 X’:
       You need -XDeriveGeneric to derive an instance for this class
-    In the stand-alone deriving instance for `Generic1 X'
+    In the stand-alone deriving instance for ‛Generic1 X’
index 920a10a..b7666b7 100644 (file)
@@ -4,12 +4,12 @@ B.hs:4:1: Warning:
       answer_to_live_the_universe_and_everything :: Int
 
 B.hs:5:12: Warning:
-    Defaulting the following constraint(s) to type `Integer'
+    Defaulting the following constraint(s) to type ‛Integer’
       (Enum a0)
-        arising from the arithmetic sequence `1 .. 23 * 2' at B.hs:5:12-20
-      (Num a0) arising from the literal `1' at B.hs:5:13
-    In the first argument of `length', namely `[1 .. 23 * 2]'
-    In the first argument of `(-)', namely `length [1 .. 23 * 2]'
+        arising from the arithmetic sequence ‛1 .. 23 * 2’ at B.hs:5:12-20
+      (Num a0) arising from the literal ‛1’ at B.hs:5:13
+    In the first argument of ‛length’, namely ‛[1 .. 23 * 2]’
+    In the first argument of ‛(-)’, namely ‛length [1 .. 23 * 2]’
     In the expression: length [1 .. 23 * 2] - 4
 
 A.hs:7:1: Warning:
@@ -20,12 +20,12 @@ B.hs:4:1: Warning:
       answer_to_live_the_universe_and_everything :: Int
 
 B.hs:5:12: Warning:
-    Defaulting the following constraint(s) to type `Integer'
+    Defaulting the following constraint(s) to type ‛Integer’
       (Enum a0)
-        arising from the arithmetic sequence `1 .. 23 * 2' at B.hs:5:12-20
-      (Num a0) arising from the literal `1' at B.hs:5:13
-    In the first argument of `length', namely `[1 .. 23 * 2]'
-    In the first argument of `(-)', namely `length [1 .. 23 * 2]'
+        arising from the arithmetic sequence ‛1 .. 23 * 2’ at B.hs:5:12-20
+      (Num a0) arising from the literal ‛1’ at B.hs:5:13
+    In the first argument of ‛length’, namely ‛[1 .. 23 * 2]’
+    In the first argument of ‛(-)’, namely ‛length [1 .. 23 * 2]’
     In the expression: length [1 .. 23 * 2] - 4
 
 A.hs:7:1: Warning:
index 369890f..dbe70be 100644 (file)
@@ -1,4 +1,4 @@
 
 T2636.hs:1:8:
-    Could not find module `MissingModule'
+    Could not find module ‛MissingModule’
     Use -v to see a list of the files searched for.
index fc7bb33..c1dda07 100644 (file)
@@ -1,4 +1,4 @@
 
 <interactive>:5:1:
-    No instance for (Show (t -> t1)) arising from a use of `print'
+    No instance for (Show (t -> t1)) arising from a use of ‛print’
     In a stmt of an interactive GHCi command: print it
index 9543d67..7e22617 100644 (file)
@@ -1,26 +1,26 @@
 
 <interactive>:6:1:
-    No instance for (Show t1) arising from a use of `print'
-    Cannot resolve unknown runtime type `t1'
+    No instance for (Show t1) arising from a use of ‛print’
+    Cannot resolve unknown runtime type ‛t1’
     Use :print or :force to determine these types
     Relevant bindings include it :: t1 (bound at <interactive>:6:1)
     Note: there are several potential instances:
-      instance Show Double -- Defined in `GHC.Float'
-      instance Show Float -- Defined in `GHC.Float'
+      instance Show Double -- Defined in ‛GHC.Float’
+      instance Show Float -- Defined in ‛GHC.Float’
       instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-        -- Defined in `GHC.Real'
+        -- Defined in ‛GHC.Real’
       ...plus 23 others
     In a stmt of an interactive GHCi command: print it
 
 <interactive>:8:1:
-    No instance for (Show t1) arising from a use of `print'
-    Cannot resolve unknown runtime type `t1'
+    No instance for (Show t1) arising from a use of ‛print’
+    Cannot resolve unknown runtime type ‛t1’
     Use :print or :force to determine these types
     Relevant bindings include it :: t1 (bound at <interactive>:8:1)
     Note: there are several potential instances:
-      instance Show Double -- Defined in `GHC.Float'
-      instance Show Float -- Defined in `GHC.Float'
+      instance Show Double -- Defined in ‛GHC.Float’
+      instance Show Float -- Defined in ‛GHC.Float’
       instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
-        -- Defined in `GHC.Real'
+        -- Defined in ‛GHC.Real’
       ...plus 23 others
     In a stmt of an interactive GHCi command: print it
index fe27afd..41ec1e8 100644 (file)
@@ -1,2 +1,2 @@
-\r
-Top level: Not in scope: data constructor `Test2'\r
+
+Top level: Not in scope: data constructor ‛Test2’
index adb8dca..ebc73e5 100644 (file)
@@ -1,4 +1,4 @@
 
 <no location info>:
-    Could not find module `NonModule'
+    Could not find module ‛NonModule’
     It is not a module in the current program, or in any known package.
index 3d8780c..358f449 100644 (file)
@@ -2,4 +2,4 @@ Breakpoint 1 does not exist
 No breakpoints found at that location.
 No active breakpoints.
 [4,8,15,16,23,42]
-map :: forall a b. (a -> b) -> [a] -> [b]      -- Defined in `GHC.Base'
+map :: forall a b. (a -> b) -> [a] -> [b]      -- Defined in ‛GHC.Base’
index e5bcb7f..3473c99 100644 (file)
@@ -1,7 +1,7 @@
 
 <interactive>:11:1:
-    No instance for (Show a1) arising from a use of `print'
-    Cannot resolve unknown runtime type `a1'
+    No instance for (Show a1) arising from a use of ‛print’
+    Cannot resolve unknown runtime type ‛a1’
     Use :print or :force to determine these types
     Relevant bindings include it :: a1 (bound at <interactive>:11:1)
     Note: there are several potential instances:
index 296718d..6642bb7 100644 (file)
@@ -3,7 +3,7 @@ GenericTemplate.hs:219:14: Warning:
     Pattern bindings containing unlifted types should use an outermost bang pattern:
       sts1@((HappyCons (st1@(action)) (_)))
         = happyDrop k (HappyCons (st) (sts))
-    In an equation for `happyMonadReduce':
+    In an equation for ‛happyMonadReduce’:
         happyMonadReduce k nt fn j tk st sts stk
           = happyThen1
               (fn stk tk)
@@ -17,7 +17,7 @@ GenericTemplate.hs:226:14: Warning:
     Pattern bindings containing unlifted types should use an outermost bang pattern:
       sts1@((HappyCons (st1@(action)) (_)))
         = happyDrop k (HappyCons (st) (sts))
-    In an equation for `happyMonad2Reduce':
+    In an equation for ‛happyMonad2Reduce’:
         happyMonad2Reduce k nt fn j tk st sts stk
           = happyThen1
               (fn stk tk)
index 472272a..53c82d5 100644 (file)
@@ -1,4 +1,4 @@
 
 Boot.hs:5:13:
-    Not a data constructor: `forall'
+    Not a data constructor: ‛forall’
     Perhaps you intended to use -XExistentialQuantification
index e63a322..bf60849 100644 (file)
@@ -2,7 +2,7 @@
 A.hs:1:16: parse error on input `where'
 
 <interactive>:26:1:
-    Not in scope: `yan'
-    Perhaps you meant `tan' (imported from Prelude)
+    Not in scope: ‛yan’
+    Perhaps you meant ‛tan’ (imported from Prelude)
 
 A.hs:1:16: parse error on input `where'
index 71f2bbe..db122d9 100644 (file)
@@ -1,2 +1,2 @@
 
-Bar.hs:3:7: Not in scope: `nonexistent'
+Bar.hs:3:7: Not in scope: ‛nonexistent’
index 2802ee2..a2fa4fc 100644 (file)
@@ -1,2 +1,2 @@
 
-<interactive>:1:1: Not in scope: `System.IO.hPutStrLn'
+<interactive>:1:1: Not in scope: ‛System.IO.hPutStrLn’
index 3a9e972..ba4c1bd 100644 (file)
@@ -1,2 +1,2 @@
 
-<interactive>:2:1: Not in scope: `α'
+<interactive>:2:1: Not in scope: ‛α’
index 970b6db..cc118a9 100644 (file)
@@ -1,5 +1,5 @@
 
 <interactive>:3:68:
-    Multiple declarations of `f'
+    Multiple declarations of ‛f’
     Declared at: <interactive>:3:32
                  <interactive>:3:68
index 8c7c69a..8ba680a 100644 (file)
@@ -1,2 +1,2 @@
-($!) :: (a -> b) -> a -> b     -- Defined in `Prelude'
+($!) :: (a -> b) -> a -> b     -- Defined in ‛Prelude’
 infixr 0 $!
index d76c4df..6fb94e4 100644 (file)
@@ -1,9 +1,9 @@
 
 <interactive>:3:1:
-    Not in scope: `git'
-    Perhaps you meant `it' (line 2)
+    Not in scope: ‛git’
+    Perhaps you meant ‛it’ (line 2)
 
 <interactive>:5:1:
-    Not in scope: `fit'
+    Not in scope: ‛fit’
     Perhaps you meant one of these:
-      `it' (line 4), `fst' (imported from Prelude)
+      ‛it’ (line 4), ‛fst’ (imported from Prelude)
index 9b0cfc6..5bd37b5 100644 (file)
@@ -1,4 +1,4 @@
 
 <no location info>:
-    Could not find module `Does.Not.Exist'
+    Could not find module ‛Does.Not.Exist’
     It is not a module in the current program, or in any known package.
index 84f8c6b..b4cd884 100644 (file)
@@ -1,4 +1,4 @@
 
 <no location info>:
-    Could not find module `Control.Monad.Trans.State'
+    Could not find module ‛Control.Monad.Trans.State’
     It is not a module in the current program, or in any known package.
index b461ef1..695d25b 100644 (file)
@@ -1,6 +1,6 @@
 
 <interactive>:1:19:
-    Module `System.IO' does not export `does_not_exist'
+    Module ‛System.IO’ does not export ‛does_not_exist’
 
 <interactive>:1:20:
-    Module `Data.Maybe' does not export `does_not_exist'
+    Module ‛Data.Maybe’ does not export ‛does_not_exist’
index cac9db2..9eaf1dc 100644 (file)
@@ -1,18 +1,18 @@
 class Num a where
   (+) :: a -> a -> a
   ...
-       -- Defined in `GHC.Num'
+       -- Defined in ‛GHC.Num’
 infixl 6 +
 class Num a where
   (+) :: a -> a -> a
   ...
-       -- Defined in `GHC.Num'
+       -- Defined in ‛GHC.Num’
 infixl 6 +
 data Data.Complex.Complex a = !a Data.Complex.:+ !a
-       -- Defined in `Data.Complex'
+       -- Defined in ‛Data.Complex’
 infix 6 Data.Complex.:+
 data Data.Complex.Complex a = !a Data.Complex.:+ !a
-       -- Defined in `Data.Complex'
+       -- Defined in ‛Data.Complex’
 infix 6 Data.Complex.:+
 class (RealFrac a, Floating a) => RealFloat a where
   floatRadix :: a -> Integer
@@ -29,8 +29,8 @@ class (RealFrac a, Floating a) => RealFloat a where
   isNegativeZero :: a -> Bool
   isIEEE :: a -> Bool
   atan2 :: a -> a -> a
-       -- Defined in `GHC.Float'
-instance RealFloat Float -- Defined in `GHC.Float'
-instance RealFloat Double -- Defined in `GHC.Float'
+       -- Defined in ‛GHC.Float’
+instance RealFloat Float -- Defined in ‛GHC.Float’
+instance RealFloat Double -- Defined in ‛GHC.Float’
 Data.List.isPrefixOf :: Eq a => [a] -> [a] -> Bool
-       -- Defined in `Data.List'
+       -- Defined in ‛Data.List’
index caed5d0..540572e 100644 (file)
@@ -1,22 +1,22 @@
-data [] a = [] | a : [a]       -- Defined in `GHC.Types'
-instance Eq a => Eq [a] -- Defined in `GHC.Classes'
-instance Monad [] -- Defined in `GHC.Base'
-instance Functor [] -- Defined in `GHC.Base'
-instance Ord a => Ord [a] -- Defined in `GHC.Classes'
-instance Read a => Read [a] -- Defined in `GHC.Read'
-instance Show a => Show [a] -- Defined in `GHC.Show'
-data () = ()   -- Defined in `GHC.Tuple'
-instance Bounded () -- Defined in `GHC.Enum'
-instance Enum () -- Defined in `GHC.Enum'
-instance Eq () -- Defined in `GHC.Classes'
-instance Ord () -- Defined in `GHC.Classes'
-instance Read () -- Defined in `GHC.Read'
-instance Show () -- Defined in `GHC.Show'
-data (,) a b = (,) a b         -- Defined in `GHC.Tuple'
+data [] a = [] | a : [a]       -- Defined in ‛GHC.Types’
+instance Eq a => Eq [a] -- Defined in ‛GHC.Classes’
+instance Monad [] -- Defined in ‛GHC.Base’
+instance Functor [] -- Defined in ‛GHC.Base’
+instance Ord a => Ord [a] -- Defined in ‛GHC.Classes’
+instance Read a => Read [a] -- Defined in ‛GHC.Read’
+instance Show a => Show [a] -- Defined in ‛GHC.Show’
+data () = ()   -- Defined in ‛GHC.Tuple’
+instance Bounded () -- Defined in ‛GHC.Enum’
+instance Enum () -- Defined in ‛GHC.Enum’
+instance Eq () -- Defined in ‛GHC.Classes’
+instance Ord () -- Defined in ‛GHC.Classes’
+instance Read () -- Defined in ‛GHC.Read’
+instance Show () -- Defined in ‛GHC.Show’
+data (,) a b = (,) a b         -- Defined in ‛GHC.Tuple’
 instance (Bounded a, Bounded b) => Bounded (a, b)
-  -- Defined in `GHC.Enum'
-instance (Eq a, Eq b) => Eq (a, b) -- Defined in `GHC.Classes'
-instance Functor ((,) a) -- Defined in `GHC.Base'
-instance (Ord a, Ord b) => Ord (a, b) -- Defined in `GHC.Classes'
-instance (Read a, Read b) => Read (a, b) -- Defined in `GHC.Read'
-instance (Show a, Show b) => Show (a, b) -- Defined in `GHC.Show'
+  -- Defined in ‛GHC.Enum’
+instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‛GHC.Classes’
+instance Functor ((,) a) -- Defined in ‛GHC.Base’
+instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‛GHC.Classes’
+instance (Read a, Read b) => Read (a, b) -- Defined in ‛GHC.Read’
+instance (Show a, Show b) => Show (a, b) -- Defined in ‛GHC.Show’
index 333e785..6d621d3 100644 (file)
@@ -1,3 +1,3 @@
-data (->) a b  -- Defined in `GHC.Prim'
-instance Monad ((->) r) -- Defined in `GHC.Base'
-instance Functor ((->) r) -- Defined in `GHC.Base'
+data (->) a b  -- Defined in ‛GHC.Prim’
+instance Monad ((->) r) -- Defined in ‛GHC.Base’
+instance Functor ((->) r) -- Defined in ‛GHC.Base’
index ae7c75b..18216b8 100644 (file)
@@ -1,2 +1,2 @@
 
-<no location info>: no such module: `ThisDoesNotExist'
+<no location info>: no such module: ‛ThisDoesNotExist’
index 59501b2..00bf3df 100644 (file)
@@ -1,2 +1,2 @@
 
-Top level: Not in scope: `thisIsNotDefined'
+Top level: Not in scope: ‛thisIsNotDefined’
index f070bdd..5b53b08 100644 (file)
@@ -1,18 +1,18 @@
 
-<interactive>:1:1: Not in scope: `nubBy'
+<interactive>:1:1: Not in scope: ‛nubBy’
 
-<interactive>:1:1: Not in scope: `nub'
+<interactive>:1:1: Not in scope: ‛nub’
 
-<interactive>:1:1: Not in scope: `nubBy'
+<interactive>:1:1: Not in scope: ‛nubBy’
 
-<interactive>:1:1: Not in scope: `nub'
+<interactive>:1:1: Not in scope: ‛nub’
 
 <interactive>:1:1:
-    Not in scope: `nub'
-    Perhaps you meant `L.nub' (imported from Data.List)
+    Not in scope: ‛nub’
+    Perhaps you meant ‛L.nub’ (imported from Data.List)
 
 <interactive>:1:1:
-    Failed to load interface for `L'
+    Failed to load interface for ‛L’
     Use -v to see a list of the files searched for.
 
-<interactive>:1:1: Not in scope: `nub'
+<interactive>:1:1: Not in scope: ‛nub’
index 5b3b85c..bb2fb85 100644 (file)
@@ -1,4 +1,4 @@
 
-<interactive>:1:1: Not in scope: `map'
+<interactive>:1:1: Not in scope: ‛map’
 
-<interactive>:1:1: Not in scope: `x'
+<interactive>:1:1: Not in scope: ‛x’
index a5e6a54..c0737d1 100644 (file)
@@ -1,11 +1,11 @@
 
 <interactive>:5:10:
-    Illegal instance declaration for `C [Int]'
+    Illegal instance declaration for ‛C [Int]’
       (All instance types must be of the form (T a1 ... an)
        where a1 ... an are *distinct type variables*,
        and each type variable appears at most once in the instance head.
        Use -XFlexibleInstances if you want to disable this.)
-    In the instance declaration for `C [Int]'
+    In the instance declaration for ‛C [Int]’
 
 <interactive>:7:10:
     Overlapping instance declarations:
index 0051710..c888b04 100644 (file)
@@ -1,16 +1,16 @@
 
 <interactive>:38:1:
-    Couldn't match type `HFalse' with `HTrue'
+    Couldn't match type ‛HFalse’ with ‛HTrue’
     Expected type: HTrue
       Actual type: Or HFalse HFalse
     In the expression: f
     In the expression: f $ Baz 'a'
-    In an equation for `it': it = f $ Baz 'a'
+    In an equation for ‛it’: it = f $ Baz 'a'
 
 <interactive>:39:1:
-    Couldn't match type `HFalse' with `HTrue'
+    Couldn't match type ‛HFalse’ with ‛HTrue’
     Expected type: HTrue
       Actual type: Or HFalse HFalse
     In the expression: f
     In the expression: f $ Quz
-    In an equation for `it': it = f $ Quz
+    In an equation for ‛it’: it = f $ Quz
index 408c1e9..3809db8 100644 (file)
@@ -1,10 +1,10 @@
 
 <interactive>:4:16:
-    Multiple declarations of `A'
+    Multiple declarations of ‛A’
     Declared at: <interactive>:4:12
                  <interactive>:4:16
 
 <interactive>:6:16:
-    Multiple declarations of `A'
+    Multiple declarations of ‛A’
     Declared at: <interactive>:6:12
                  <interactive>:6:16
index b2e11a2..77c5525 100644 (file)
@@ -1,8 +1,8 @@
 
 <interactive>:6:49:
-    Couldn't match expected type `ListableElem (a, a)'
-                with actual type `a'
-      `a' is a rigid type variable bound by
+    Couldn't match expected type ‛ListableElem (a, a)’
+                with actual type ‛a’
+      ‛a’ is a rigid type variable bound by
           the instance declaration at <interactive>:6:10
     Relevant bindings include
       asList :: (a, a) -> [ListableElem (a, a)]
@@ -11,4 +11,4 @@
       b :: a (bound at <interactive>:6:43)
     In the expression: a
     In the expression: [a, b]
-    In an equation for `asList': asList (a, b) = [a, b]
+    In an equation for ‛asList’: asList (a, b) = [a, b]
index 130d001..aec3647 100644 (file)
@@ -1,7 +1,7 @@
 
 <interactive>:7:9:
-    Couldn't match type `T' with `main::Interactive.T'
+    Couldn't match type ‛T’ with ‛main::Interactive.T’
     Expected type: T'
       Actual type: T
     In the expression: C :: T'
-    In an equation for `c': c = C :: T'
+    In an equation for ‛c’: c = C :: T'
index c685a2a..2efada5 100644 (file)
@@ -1,27 +1,27 @@
 
 <interactive>:7:4:
-    Couldn't match expected type `main::Interactive.Planet'
-                with actual type `Planet'
-    In the first argument of `pn', namely `Mercury'
+    Couldn't match expected type ‛main::Interactive.Planet’
+                with actual type ‛Planet’
+    In the first argument of ‛pn’, namely ‛Mercury’
     In the expression: pn Mercury
-    In an equation for `it': it = pn Mercury
+    In an equation for ‛it’: it = pn Mercury
 
 <interactive>:8:4:
-    Couldn't match expected type `main::Interactive.Planet'
-                with actual type `Planet'
-    In the first argument of `pn', namely `Venus'
+    Couldn't match expected type ‛main::Interactive.Planet’
+                with actual type ‛Planet’
+    In the first argument of ‛pn’, namely ‛Venus’
     In the expression: pn Venus
-    In an equation for `it': it = pn Venus
+    In an equation for ‛it’: it = pn Venus
 
 <interactive>:9:4:
-    Couldn't match expected type `main::Interactive.Planet'
-                with actual type `Planet'
-    In the first argument of `pn', namely `Mars'
+    Couldn't match expected type ‛main::Interactive.Planet’
+                with actual type ‛Planet’
+    In the first argument of ‛pn’, namely ‛Mars’
     In the expression: pn Mars
-    In an equation for `it': it = pn Mars
+    In an equation for ‛it’: it = pn Mars
 
 <interactive>:11:44:
-    Couldn't match expected type `Planet'
-                with actual type `main::Interactive.Planet'
+    Couldn't match expected type ‛Planet’
+                with actual type ‛main::Interactive.Planet’
     In the pattern: Earth
-    In an equation for `pn': pn Earth = "E"
+    In an equation for ‛pn’: pn Earth = "E"
index e08ad91..f97df8f 100644 (file)
@@ -1,14 +1,14 @@
 
 <interactive>:8:12:
-    Couldn't match expected type `main::Interactive.Planet'
-                with actual type `Planet'
-    In the second argument of `(==)', namely `Mercury'
+    Couldn't match expected type ‛main::Interactive.Planet’
+                with actual type ‛Planet’
+    In the second argument of ‛(==)’, namely ‛Mercury’
     In the expression: mercury == Mercury
-    In an equation for `it': it = mercury == Mercury
+    In an equation for ‛it’: it = mercury == Mercury
 
 <interactive>:10:10:
-    Couldn't match expected type `Planet'
-                with actual type `main::Interactive.Planet'
-    In the second argument of `(==)', namely `Earth'
+    Couldn't match expected type ‛Planet’
+                with actual type ‛main::Interactive.Planet’
+    In the second argument of ‛(==)’, namely ‛Earth’
     In the expression: Venus == Earth
-    In an equation for `it': it = Venus == Earth
+    In an equation for ‛it’: it = Venus == Earth
index 623bfb3..22d0514 100644 (file)
@@ -1,17 +1,17 @@
-\r
-<interactive>:5:1:\r
-    Illegal generalised algebraic data declaration for `T'\r
-      (Use -XGADTs to allow GADTs)\r
-    In the data declaration for `T'\r
-\r
-ghci057.hs:3:3:\r
-    Data constructor `C' has existential type variables, a context, or a specialised result type\r
-      (Use -XExistentialQuantification or -XGADTs to allow this)\r
-    In the definition of data constructor `C'\r
-    In the data declaration for `T'\r
-\r
-ghci057.hs:3:3:\r
-    Data constructor `C' has existential type variables, a context, or a specialised result type\r
-      (Use -XExistentialQuantification or -XGADTs to allow this)\r
-    In the definition of data constructor `C'\r
-    In the data declaration for `T'\r
+
+<interactive>:5:1:
+    Illegal generalised algebraic data declaration for ‛T’
+      (Use -XGADTs to allow GADTs)
+    In the data declaration for ‛T’
+
+ghci057.hs:3:3:
+    Data constructor ‛C’ has existential type variables, a context, or a specialised result type
+      (Use -XExistentialQuantification or -XGADTs to allow this)
+    In the definition of data constructor ‛C’
+    In the data declaration for ‛T’
+
+ghci057.hs:3:3:
+    Data constructor ‛C’ has existential type variables, a context, or a specialised result type
+      (Use -XExistentialQuantification or -XGADTs to allow this)
+    In the definition of data constructor ‛C’
+    In the data declaration for ‛T’
index 74956de..37a2565 100644 (file)
@@ -157,10 +157,10 @@ m = undefined
 
 
 
-Test.hs:32:9: Warning: `p' is exported by `p' and `R(..)'
+Test.hs:32:9: Warning: ‛p’ is exported by ‛p’ and ‛R(..)’
 
-Test.hs:32:12: Warning: `q' is exported by `q' and `R(..)'
+Test.hs:32:12: Warning: ‛q’ is exported by ‛q’ and ‛R(..)’
 
-Test.hs:32:15: Warning: `u' is exported by `u' and `R(..)'
+Test.hs:32:15: Warning: ‛u’ is exported by ‛u’ and ‛R(..)’
 
-Test.hs:38:9: Warning: `a' is exported by `a' and `C(a, b)'
+Test.hs:38:9: Warning: ‛a’ is exported by ‛a’ and ‛C(a, b)’
index 4c72a42..6c07460 100644 (file)
@@ -1,4 +1,4 @@
 
-Class3.hs:7:10:
-    Warning: No explicit method or default declaration for `foo'
-    In the instance declaration for `C ()'
+Class3.hs:7:10: Warning:
+    No explicit method or default declaration for ‛foo’
+    In the instance declaration for ‛C ()’
index 1665cca..3c761c3 100644 (file)
@@ -1,18 +1,18 @@
 
 Simple14.hs:17:19:
-    Couldn't match type `z0' with `n'
-      `z0' is untouchable
+    Couldn't match type ‛z0’ with ‛n’
+      ‛z0’ is untouchable
         inside the constraints (Maybe m ~ Maybe n)
         bound by a type expected by the context:
                    Maybe m ~ Maybe n => EQ_ z0 z0
         at Simple14.hs:17:12-33
-      `n' is a rigid type variable bound by
+      ‛n’ is a rigid type variable bound by
           the type signature for foo :: EQ_ (Maybe m) (Maybe n)
           at Simple14.hs:16:17
     Expected type: EQ_ z0 z0
       Actual type: EQ_ m n
     Relevant bindings include
       foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:17:1)
-    In the second argument of `eqE', namely `(eqI :: EQ_ m n)'
-    In the first argument of `ntI', namely `(`eqE` (eqI :: EQ_ m n))'
+    In the second argument of ‛eqE’, namely ‛(eqI :: EQ_ m n)’
+    In the first argument of ‛ntI’, namely ‛(`eqE` (eqI :: EQ_ m n))’
     In the expression: ntI (`eqE` (eqI :: EQ_ m n))
index ef05fb3..e68afd8 100644 (file)
@@ -1,40 +1,40 @@
 
-Simple2.hs:21:1:
-    Warning: No explicit associated type or default declaration for `S3n'
-    In the instance declaration for `C3 Char'
+Simple2.hs:21:1: Warning:
+    No explicit associated type or default declaration for ‛S3n’
+    In the instance declaration for ‛C3 Char’
 
-Simple2.hs:21:10:
-    Warning: No explicit method or default declaration for `foo3n'
-    In the instance declaration for `C3 Char'
+Simple2.hs:21:10: Warning:
+    No explicit method or default declaration for ‛foo3n’
+    In the instance declaration for ‛C3 Char’
 
-Simple2.hs:21:10:
-    Warning: No explicit method or default declaration for `bar3n'
-    In the instance declaration for `C3 Char'
+Simple2.hs:21:10: Warning:
+    No explicit method or default declaration for ‛bar3n’
+    In the instance declaration for ‛C3 Char’
 
-Simple2.hs:29:1:
-    Warning: No explicit associated type or default declaration for `S3n'
-    In the instance declaration for `C3 Bool'
+Simple2.hs:29:1: Warning:
+    No explicit associated type or default declaration for ‛S3n’
+    In the instance declaration for ‛C3 Bool’
 
-Simple2.hs:29:10:
-    Warning: No explicit method or default declaration for `foo3n'
-    In the instance declaration for `C3 Bool'
+Simple2.hs:29:10: Warning:
+    No explicit method or default declaration for ‛foo3n’
+    In the instance declaration for ‛C3 Bool’
 
-Simple2.hs:29:10:
-    Warning: No explicit method or default declaration for `bar3n'
-    In the instance declaration for `C3 Bool'
+Simple2.hs:29:10: Warning:
+    No explicit method or default declaration for ‛bar3n’
+    In the instance declaration for ‛C3 Bool’
 
-Simple2.hs:39:1:
-    Warning: No explicit associated type or default declaration for `S3'
-    In the instance declaration for `C3 Float'
+Simple2.hs:39:1: Warning:
+    No explicit associated type or default declaration for ‛S3’
+    In the instance declaration for ‛C3 Float’
 
-Simple2.hs:39:1:
-    Warning: No explicit associated type or default declaration for `S3n'
-    In the instance declaration for `C3 Float'
+Simple2.hs:39:1: Warning:
+    No explicit associated type or default declaration for ‛S3n’
+    In the instance declaration for ‛C3 Float’
 
-Simple2.hs:39:10:
-    Warning: No explicit method or default declaration for `foo3n'
-    In the instance declaration for `C3 Float'
+Simple2.hs:39:10: Warning:
+    No explicit method or default declaration for ‛foo3n’
+    In the instance declaration for ‛C3 Float’
 
-Simple2.hs:39:10:
-    Warning: No explicit method or default declaration for `bar3n'
-    In the instance declaration for `C3 Float'
+Simple2.hs:39:10: Warning:
+    No explicit method or default declaration for ‛bar3n’
+    In the instance declaration for ‛C3 Float’
index 63c1262..dbcb4f0 100644 (file)
@@ -1,5 +1,5 @@
-\r
-DerivUnsatFam.hs:8:1:\r
-    Can't make a derived instance of `Functor T':\r
-      Unsaturated data family application\r
-    In the stand-alone deriving instance for `Functor T'\r
+
+DerivUnsatFam.hs:8:1:
+    Can't make a derived instance of ‛Functor T’:
+      Unsaturated data family application
+    In the stand-alone deriving instance for ‛Functor T’
index 428d4b9..4b7532c 100644 (file)
@@ -1,6 +1,6 @@
 
 ExtraTcsUntch.hs:24:53:
-    Could not deduce (C [t] [a]) arising from a use of `op'
+    Could not deduce (C [t] [a]) arising from a use of ‛op’
     from the context (F Int ~ [[t]])
       bound by the inferred type of
                f :: F Int ~ [[t]] => [t] -> ((), ((), ()))
index b61af24..aa6eedc 100644 (file)
@@ -1,21 +1,21 @@
-\r
-GADTwrong1.hs:12:19:\r
-    Could not deduce (a1 ~ b)\r
-    from the context (() ~ Const a1)\r
-      bound by a pattern with constructor\r
-                 T :: forall a. a -> T (Const a),\r
-               in a case alternative\r
-      at GADTwrong1.hs:12:12-14\r
-      `a1' is a rigid type variable bound by\r
-           a pattern with constructor\r
-             T :: forall a. a -> T (Const a),\r
-           in a case alternative\r
-           at GADTwrong1.hs:12:12\r
-      `b' is a rigid type variable bound by\r
-          the type signature for coerce :: a -> b at GADTwrong1.hs:10:20\r
-    Relevant bindings include\r
-      coerce :: a -> b (bound at GADTwrong1.hs:11:1)\r
-      y :: a1 (bound at GADTwrong1.hs:12:14)\r
-    In the expression: y\r
-    In a case alternative: T y -> y\r
-    In the expression: case T x :: T (Const b) of { T y -> y }\r
+
+GADTwrong1.hs:12:19:
+    Could not deduce (a1 ~ b)
+    from the context (() ~ Const a1)
+      bound by a pattern with constructor
+                 T :: forall a. a -> T (Const a),
+               in a case alternative
+      at GADTwrong1.hs:12:12-14
+      ‛a1’ is a rigid type variable bound by
+           a pattern with constructor
+             T :: forall a. a -> T (Const a),
+           in a case alternative
+           at GADTwrong1.hs:12:12
+      ‛b’ is a rigid type variable bound by
+          the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
+    Relevant bindings include
+      coerce :: a -> b (bound at GADTwrong1.hs:11:1)
+      y :: a1 (bound at GADTwrong1.hs:12:14)
+    In the expression: y
+    In a case alternative: T y -> y
+    In the expression: case T x :: T (Const b) of { T y -> y }
index 0176ffe..7f43b5d 100644 (file)
@@ -1,13 +1,13 @@
-\r
-NoMatchErr.hs:19:7:\r
-    Could not deduce (Memo d0 ~ Memo d)\r
-    from the context (Fun d)\r
-      bound by the type signature for f :: Fun d => Memo d a -> Memo d a\r
-      at NoMatchErr.hs:19:7-37\r
-    NB: `Memo' is a type function, and may not be injective\r
-    The type variable `d0' is ambiguous\r
-    Expected type: Memo d a -> Memo d a\r
-      Actual type: Memo d0 a -> Memo d0 a\r
-    In the ambiguity check for:\r
-      forall d a. Fun d => Memo d a -> Memo d a\r
-    In the type signature for `f': f :: Fun d => Memo d a -> Memo d a\r
+
+NoMatchErr.hs:19:7:
+    Could not deduce (Memo d0 ~ Memo d)
+    from the context (Fun d)
+      bound by the type signature for f :: Fun d => Memo d a -> Memo d a
+      at NoMatchErr.hs:19:7-37
+    NB: ‛Memo’ is a type function, and may not be injective
+    The type variable ‛d0’ is ambiguous
+    Expected type: Memo d a -> Memo d a
+      Actual type: Memo d0 a -> Memo d0 a
+    In the ambiguity check for:
+      forall d a. Fun d => Memo d a -> Memo d a
+    In the type signature for ‛f’: f :: Fun d => Memo d a -> Memo d a
index d08570a..e56025a 100644 (file)
@@ -1,18 +1,18 @@
-\r
-NotRelaxedExamples.hs:9:15:\r
-    Nested type family application\r
-      in the type family application: F1 (F1 Char)\r
-    (Use -XUndecidableInstances to permit this)\r
-    In the type instance declaration for `F1'\r
-\r
-NotRelaxedExamples.hs:10:15:\r
-    Application is no smaller than the instance head\r
-      in the type family application: F2 [x]\r
-    (Use -XUndecidableInstances to permit this)\r
-    In the type instance declaration for `F2'\r
-\r
-NotRelaxedExamples.hs:11:15:\r
-    Application is no smaller than the instance head\r
-      in the type family application: F3 [Char]\r
-    (Use -XUndecidableInstances to permit this)\r
-    In the type instance declaration for `F3'\r
+
+NotRelaxedExamples.hs:9:15:
+    Nested type family application
+      in the type family application: F1 (F1 Char)
+    (Use -XUndecidableInstances to permit this)
+    In the type instance declaration for ‛F1’
+
+NotRelaxedExamples.hs:10:15:
+    Application is no smaller than the instance head
+      in the type family application: F2 [x]
+    (Use -XUndecidableInstances to permit this)
+    In the type instance declaration for ‛F2’
+
+NotRelaxedExamples.hs:11:15:
+    Application is no smaller than the instance head
+      in the type family application: F3 [Char]
+    (Use -XUndecidableInstances to permit this)
+    In the type instance declaration for ‛F3’
index 63fa4d9..342cbe4 100644 (file)
@@ -1,8 +1,8 @@
-\r
-Overlap10.hs:11:7:\r
-    Couldn't match expected type `F a Bool' with actual type `Bool'\r
-    Relevant bindings include\r
-      g :: a -> F a Bool (bound at Overlap10.hs:11:1)\r
-      x :: a (bound at Overlap10.hs:11:3)\r
-    In the expression: False\r
-    In an equation for `g': g x = False\r
+
+Overlap10.hs:11:7:
+    Couldn't match expected type ‛F a Bool’ with actual type ‛Bool’
+    Relevant bindings include
+      g :: a -> F a Bool (bound at Overlap10.hs:11:1)
+      x :: a (bound at Overlap10.hs:11:3)
+    In the expression: False
+    In an equation for ‛g’: g x = False
index 929ce34..476ae6c 100644 (file)
@@ -1,8 +1,8 @@
-\r
-Overlap11.hs:11:8:\r
-    Couldn't match expected type `F a Int' with actual type `Int'\r
-    Relevant bindings include\r
-      g :: a -> F a Int (bound at Overlap11.hs:11:1)\r
-      x :: a (bound at Overlap11.hs:11:3)\r
-    In the expression: (5 :: Int)\r
-    In an equation for `g': g x = (5 :: Int)\r
+
+Overlap11.hs:11:8:
+    Couldn't match expected type ‛F a Int’ with actual type ‛Int’
+    Relevant bindings include
+      g :: a -> F a Int (bound at Overlap11.hs:11:1)
+      x :: a (bound at Overlap11.hs:11:3)
+    In the expression: (5 :: Int)
+    In an equation for ‛g’: g x = (5 :: Int)
index 329d410..0413002 100644 (file)
@@ -1,7 +1,7 @@
 
 Overlap5.hs:16:7:
-    Couldn't match type `x' with `And x 'True'
-      `x' is a rigid type variable bound by
+    Couldn't match type ‛x’ with ‛And x 'True’
+      ‛x’ is a rigid type variable bound by
           the type signature for
             g :: Proxy Bool x -> Proxy Bool (And x 'True)
           at Overlap5.hs:15:6
@@ -12,11 +12,11 @@ Overlap5.hs:16:7:
         (bound at Overlap5.hs:16:1)
       x :: Proxy Bool x (bound at Overlap5.hs:16:3)
     In the expression: x
-    In an equation for `g': g x = x
+    In an equation for ‛g’: g x = x
 
 Overlap5.hs:19:7:
-    Couldn't match type `x' with `And x x'
-      `x' is a rigid type variable bound by
+    Couldn't match type ‛x’ with ‛And x x’
+      ‛x’ is a rigid type variable bound by
           the type signature for h :: Proxy Bool x -> Proxy Bool (And x x)
           at Overlap5.hs:18:6
     Expected type: Proxy Bool (And x x)
@@ -26,4 +26,4 @@ Overlap5.hs:19:7:
         (bound at Overlap5.hs:19:1)
       x :: Proxy Bool x (bound at Overlap5.hs:19:3)
     In the expression: x
-    In an equation for `h': h x = x
+    In an equation for ‛h’: h x = x
index 8149e2d..c59a1ab 100644 (file)
@@ -1,7 +1,7 @@
 
 Overlap6.hs:16:7:
-    Couldn't match type `x' with `And x 'True'
-      `x' is a rigid type variable bound by
+    Couldn't match type ‛x’ with ‛And x 'True’
+      ‛x’ is a rigid type variable bound by
           the type signature for
             g :: Proxy Bool x -> Proxy Bool (And x 'True)
           at Overlap6.hs:15:6
@@ -12,4 +12,4 @@ Overlap6.hs:16:7:
         (bound at Overlap6.hs:16:1)
       x :: Proxy Bool x (bound at Overlap6.hs:16:3)
     In the expression: x
-    In an equation for `g': g x = x
+    In an equation for ‛g’: g x = x
index d70a76c..97c59c2 100644 (file)
@@ -7,6 +7,6 @@ Overlap9.hs:11:7:
     Relevant bindings include
       g :: a -> F a (bound at Overlap9.hs:11:1)
       x :: a (bound at Overlap9.hs:11:3)
-    In the return type of a call of `length'
+    In the return type of a call of ‛length’
     In the expression: length (show x)
-    In an equation for `g': g x = length (show x)
+    In an equation for ‛g’: g x = length (show x)
index 93eabd6..e93b4f4 100644 (file)
@@ -1,4 +1,4 @@
-\r
-SimpleFail12.hs:8:15:\r
-    Illegal polymorphic or qualified type: forall a. [a]\r
-    In the type instance declaration for `C'\r
+
+SimpleFail12.hs:8:15:
+    Illegal polymorphic or qualified type: forall a. [a]
+    In the type instance declaration for ‛C’
index a927fec..a31dda6 100644 (file)
@@ -1,8 +1,8 @@
-\r
-SimpleFail13.hs:9:1:\r
-    Illegal type synonym family application in instance: [C a]\r
-    In the data instance declaration for `D'\r
-\r
-SimpleFail13.hs:13:15:\r
-    Illegal type synonym family application in instance: [C a]\r
-    In the type instance declaration for `E'\r
+
+SimpleFail13.hs:9:1:
+    Illegal type synonym family application in instance: [C a]
+    In the data instance declaration for ‛D’
+
+SimpleFail13.hs:13:15:
+    Illegal type synonym family application in instance: [C a]
+    In the type instance declaration for ‛E’
index 14f078d..b601504 100644 (file)
@@ -1,6 +1,6 @@
-\r
-SimpleFail14.hs:5:15:\r
-    Expected a type, but `a ~ a' has kind `Constraint'\r
-    In the type `a ~ a'\r
-    In the definition of data constructor `T'\r
-    In the data declaration for `T'\r
+
+SimpleFail14.hs:5:15:
+    Expected a type, but ‛a ~ a’ has kind ‛Constraint’
+    In the type ‛a ~ a’
+    In the definition of data constructor ‛T’
+    In the data declaration for ‛T’
index e2b7bba..d5c1c7f 100644 (file)
@@ -2,5 +2,5 @@
 SimpleFail15.hs:5:8:
     Illegal polymorphic or qualified type: a ~ b => t
     Perhaps you intended to use -XRankNTypes or -XRank2Types
-    In the type signature for `foo':
+    In the type signature for ‛foo’:
       foo :: (a, b) -> (a ~ b => t) -> (a, b)
index 3ad3cc7..1e50ae1 100644 (file)
@@ -1,9 +1,9 @@
-\r
-SimpleFail16.hs:10:12:\r
-    Couldn't match expected type `p0 a0' with actual type `F ()'\r
-    The type variables `p0', `a0' are ambiguous\r
-    Relevant bindings include\r
-      bar :: p0 a0 (bound at SimpleFail16.hs:10:1)\r
-    In the first argument of `foo', namely `(undefined :: F ())'\r
-    In the expression: foo (undefined :: F ())\r
-    In an equation for `bar': bar = foo (undefined :: F ())\r
+
+SimpleFail16.hs:10:12:
+    Couldn't match expected type ‛p0 a0’ with actual type ‛F ()’
+    The type variables ‛p0’, ‛a0’ are ambiguous
+    Relevant bindings include
+      bar :: p0 a0 (bound at SimpleFail16.hs:10:1)
+    In the first argument of ‛foo’, namely ‛(undefined :: F ())’
+    In the expression: foo (undefined :: F ())
+    In an equation for ‛bar’: bar = foo (undefined :: F ())
index ba950b4..7108a5b 100644 (file)
@@ -1,4 +1,4 @@
-\r
-SimpleFail1a.hs:4:1:\r
-    Number of parameters must match family declaration; expected 2\r
-    In the data instance declaration for `T1'\r
+
+SimpleFail1a.hs:4:1:
+    Number of parameters must match family declaration; expected 2
+    In the data instance declaration for ‛T1’
index 8becc3e..a65a50d 100644 (file)
@@ -1,4 +1,4 @@
-\r
-SimpleFail1b.hs:4:1:\r
-    Number of parameters must match family declaration; expected 2\r
-    In the data instance declaration for `T1'\r
+
+SimpleFail1b.hs:4:1:
+    Number of parameters must match family declaration; expected 2
+    In the data instance declaration for ‛T1’
index c8ac451..5d05875 100644 (file)
@@ -1,6 +1,6 @@
 
 SimpleFail2a.hs:11:3:
     Type indexes must match class instance head
-    Found `a' but expected `Int'
-    In the data instance declaration for `Sd'
-    In the instance declaration for `C Int'
+    Found ‛a’ but expected ‛Int’
+    In the data instance declaration for ‛Sd’
+    In the instance declaration for ‛C Int’
index 164351a..cdf4251 100644 (file)
@@ -1,5 +1,5 @@
-\r
-SimpleFail3a.hs:10:3:\r
-    Wrong category of family instance; declaration was for a data type\r
-    In the type instance declaration for `S1'\r
-    In the instance declaration for `C1 Int'\r
+
+SimpleFail3a.hs:10:3:
+    Wrong category of family instance; declaration was for a data type
+    In the type instance declaration for ‛S1’
+    In the instance declaration for ‛C1 Int’