- ghc-tickets - Haskell.org

[GHC] #13679: Kill eqIfaceType
by GHC 16 May '17

16 May '17

#13679: Kill eqIfaceType -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- `IfaceType.eqIfaceType` seems to be dead code. Can we kill it? It appears to be something to do with backpack. It would be good to kill it because eqType is subtle. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13679> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #13698: Add a more complete example for the special SPEC argument to the user guide
by GHC 16 May '17

16 May '17

#13698: Add a more complete example for the special SPEC argument to the user guide -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: newcomer | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: SpecConstr Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In the section for `-fspec-constr` in the user guide there is an example of how to use `SPEC` to force a loop to be unrolled by spec constr. However, this argument doesn't do anything until `foldl` is called with a specific argument. It wasn't clear to me exactly how this worked as the example was incomplete. Below is a complete file which shows how the optimisation unrolls the list completely such that `res2 = 6` in core. {{{ {-# LANGUAGE BangPatterns #-} {-# LANGUAGE ExistentialQuantification #-} module Foo where import GHC.Types data Stream a = forall s. Stream !(s -> Step a s) -- a stepper function !s -- an initial state data Step a s = Yield a !s | Skip !s | Done s2 = Stream s [1,2,3] s [] = Done s (x:xs) = Yield x xs res2 = Foo.foldl (+) 0 s2 foldl :: (a -> b -> a) -> a -> Stream b -> a {-# INLINE foldl #-} foldl f z (Stream step s) = foldl_loop SPEC z s where foldl_loop !sPEC z s = case step s of Yield x s' -> foldl_loop sPEC (f z x) s' Skip s' -> foldl_loop sPEC z s' Done -> z }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13698> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13694: CSE runs before SpecConstr
by GHC 16 May '17

16 May '17

#13694: CSE runs before SpecConstr -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: SpecConstr, | Operating System: Unknown/Multiple cse | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- SpecConstr can lead to more CSE opportunities. Currently CSE is run only once after the full laziness transformation but then not again later in the pipeline. Running it again after the final clean-up simplification might lead to smaller programs. One example with `-fspec-constr-keen`. {{{ module Foo where main :: [Int] main = drop 1 [1,2] mainMODULE :: [Int] mainMODULE = mydrop 1 [1,2] mydrop :: Int -> [a] -> [a] mydrop 0 xs = xs mydrop n (x:xs) = mydrop (n-1) xs }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13694> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13309: Use liftA2 in ApplicativeDo
by GHC 16 May '17

16 May '17

#13309: Use liftA2 in ApplicativeDo -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime Unknown/Multiple | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Now that `liftA2` is in `Applicative`, we want to be sure to use it when desugaring `ApplicativeDo`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13309> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #13664: Ill formatted warning about tabulators
by GHC 16 May '17

16 May '17

#13664: Ill formatted warning about tabulators -------------------------------------+------------------------------------- Reporter: Lemming | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHC-8.2.0.20170505 does not format warnings about tabulators very well. It seems to use the tab character for formatting, which yields too few spaces when formatted, and in turn too many characters are colored. (It is hard to present the problem in this ticket, though.) {{{ $ cat Tabulator.hs module Tabulator where x :: Int x = 1*2*3*4*5*6*7*8*9 -- we use a tab for indentation here $ ghc-8.2.0.20170505 -Wall Tabulator.hs [1 of 1] Compiling Tabulator ( Tabulator.hs, Tabulator.o ) Tabulator.hs:5:1: warning: [-Wtabs] Tab character found here. Please use spaces instead. | 5 | 1*2*3*4*5*6*7*8*9 | ^^^^^^^^ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13664> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #13649: RebindableSyntax causes type errors when 'fail' is not defined, even if not used.
by GHC 16 May '17

16 May '17

#13649: RebindableSyntax causes type errors when 'fail' is not defined, even if not used. -------------------------------------+------------------------------------- Reporter: AaronFriel | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1-rc1 Keywords: | Operating System: Unknown/Multiple RebindableSyntax | Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- With -XRebindableSyntax and a wildcard pattern on an action, a spurious compiler error occurs if `fail` is not in scope: {{{ Not in scope: ‘fail’ Perhaps you want to add ‘fail’ to the import list in the import of ‘Prelude’ (rebind.hs:6:1-53). | 27 | _ <- m1 | ^^^^^^^ }}} {{{#!hs {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE RebindableSyntax #-} module Main where import Prelude (String, print, Maybe (..), error, id) class MyFunctor f where fmap :: (a -> b) -> f a -> f b class MyApplicative f where pure :: a -> f a (<*>) :: f (a -> b) -> f a -> f b class MyMonad m where return :: a -> m a (>>) :: m a -> m b -> m b (>>=) :: m a -> (a -> m b) -> m b join :: m (m a) -> m a -- Uncommenting the following lines allows testCase1 to compile: -- class MyFail m where -- fail :: String -> m a -- But testCase1 will not require a 'MyFail m' constraint. testCase1 :: MyMonad m => m a -> m () testCase1 m1 = do _ <- m1 return () testCase2 :: MyMonad m => m a -> m () testCase2 m1 = do m1 return () }}} In this example, testCase1 will fail to compile until the type class `MyFail` is uncommented. As with #13648, I think this looks like an easy fix before the 8.2.1 release, and I would be happy to submit a patch next week if someone could point me the way. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13649> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13473: Variables in patterns made with QuasiQuotes sometimes don't get bound
by GHC 16 May '17

16 May '17

#13473: Variables in patterns made with QuasiQuotes sometimes don't get bound -------------------------------------+------------------------------------- Reporter: harpocrates | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In GHCi 8.0.2 {{{ >>> import Language.Haskell.TH >>> import Language.Haskell.TH.Quote >>> :set -XQuasiQuotes >>> quoter = QuasiQuoter { quotePat = varP . mkName } >>> [quoter|x|] = 1 >>> x error: Variable not in scope: x }}} I think "x" ought to be 1. Previous versions of GHCi don't let me be so free about defining and using quasiquotes, so here is a minimal example with modules: {{{ -- In QQ.hs module QQ where import Language.Haskell.TH import Language.Haskell.TH.Quote quoter :: QuasiQuoter quoter = QuasiQuoter { quotePat = varP . mkName } }}} and {{{ -- In Main1.hs module Main1 where import QQ [quoter|x|] = 1 main = print x }}} With GHC 7.10.3 this compiles (and prints "1" when run), but in GHC 8.0.2 this complains "x" is not in scope. The same problem manifests itself when the pattern quasi quote is used in a "let" binding. Peculiarly, this appears ''not'' to affect cases where the pattern is a function argument. The following compiles and runs (printing "1") on both 7.10.3 and 8.0.2. {{{ -- In Main2.hs module Main2 where import QQ f [quoter|x|] = x main = print (f 1) }}} I understand there were some changes around splices and declaration groups (which presumably are part of why GHCi plays with quasi quotes), so I'm not sure this is really a bug! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13473> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13591: "*** Exception: expectJust showModule" in ghci with hs-boot
by GHC 16 May '17

16 May '17

#13591: "*** Exception: expectJust showModule" in ghci with hs-boot -------------------------------------+------------------------------------- Reporter: lspitzner | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.2.1-rc1 Keywords: ghci hs-boot | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- ghci runs into an exception if there is an error in Foo.hs when there exists a Foo.hs-boot (which compiles fine). - First.hs-boot {{{ module First where one :: Int }}} - Second.hs {{{ module Second where import {-# SOURCE #-} First two :: Int two = one + 1 }}} - First.hs {{{ module First where import Second one :: Int one = _ }}} {{{ > ghci Prelude> :l First [1 of 3] Compiling First[boot] ( First.hs-boot, interpreted ) [2 of 3] Compiling Second ( Second.hs, interpreted ) [3 of 3] Compiling First ( First.hs, interpreted ) First.hs:6:7: error: • Found hole: _ :: Int • In the expression: _ In an equation for ‘one’: one = _ • Relevant bindings include one :: Int (bound at First.hs:6:1) *** Exception: expectJust showModule CallStack (from HasCallStack): error, called at compiler/utils/Maybes.hs:48:27 in ghc:Maybes }}} This happens on ghc-8.0.1, 8.0.2 and 8.2.1-rc1. The above output is from 8.0.2, but the error seems to be essentially the same on 8.2.1-rc1. It did not happen on 7.10.3. While ghci continues to work, the exception appears to clear the loaded- modules list, which in turn breaks tooling (ghcid here, which hangs as a consequence). The expected behaviour would be that other modules (which contain no errors) remain loaded. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13591> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #13658: Assertion failure on HEAD: "optCoercion changed types!"
by GHC 16 May '17

16 May '17

#13658: Assertion failure on HEAD: "optCoercion changed types!" -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I am seeing the following assertion failure on my `wip/libdw-prof` branch, {{{ ghc-stage1: panic! (the 'impossible' happened) (GHC version 8.3.20170507 for x86_64-unknown-linux): ASSERT failed! optCoercion changed types! in_co: (base:Data.Typeable.Internal.TypeRep{tc 35W} (UnsafeCo nominal ghc-prim:GHC.Types.Any{(w) tc 35K} (ghc- prim:GHC.Types.Any{(w) tc 35K} -> ghc- prim:GHC.Types.Any{(w) tc 35K})) (UnsafeCo nominal (ghc-prim:GHC.Types.Any{(w) tc 35K} ghc-prim:GHC.Types.Any{(w) tc 35K}) ghc- prim:GHC.Types.Any{(w) tc 35K}))_R in_ty1: base:Data.Typeable.Internal.TypeRep{tc 35W} (ghc-prim:GHC.Types.Any{(w) tc 35K} ghc-prim:GHC.Types.Any{(w) tc 35K}) in_ty2: base:Data.Typeable.Internal.TypeRep{tc 35W} ghc-prim:GHC.Types.Any{(w) tc 35K} out_co: (base:Data.Typeable.Internal.TypeRep{tc 35W} (UnsafeCo nominal ghc-prim:GHC.Types.Any{(w) tc 35K} (ghc- prim:GHC.Types.Any{(w) tc 35K} -> ghc- prim:GHC.Types.Any{(w) tc 35K})) <ghc-prim:GHC.Types.Any{(w) tc 35K}>_N)_R out_ty1: base:Data.Typeable.Internal.TypeRep{tc 35W} ghc-prim:GHC.Types.Any{(w) tc 35K} out_ty2: base:Data.Typeable.Internal.TypeRep{tc 35W} ghc-prim:GHC.Types.Any{(w) tc 35K} subst: [TCvSubst In scope: InScope {wild_00{v} base:Data.Typeable.Internal.mkTrCon{v 088} base:Data.Typeable.Internal.mkTrApp{v 089} base:Data.Typeable.Internal.typeNatTypeRep{v 08a} base:Data.Typeable.Internal.typeSymbolTypeRep{v 08b} base:Data.Typeable.Internal.mkTrFun{v 08d} wild_X3j{v} wild_X7E{v} wild_X83{v} wild_Xf1{v} dt_X2TF{v} a{v X2UX} kind_vars{v X2V3} kind_vars{v X32p} n{v a2Oo} a{v a2OX} b{v a2OY} tc{v a2Pw} args{v a2Px} tc{v a2PH} args{v a2PI} kind_args{v a2PK} ty_args{v a2PL} ty'{v a2PQ} dt_a2TG{v} dt_a2TH{v} k{tv a402} a{tv a403} k{tv a43q} k{tv a43r} k{tv a43s} a{tv a43t} $cshowsPrec{v a46O} $cshow{v a46Z} $cshowList{v a477} $cshowsPrec{v a47h} $cshow{v a47n} $cshowList{v a47t} $ccompare{v a47F} $c<{v a47X} $c<={v a485} $c>{v a48d} $c>={v a48l} $cmax{v a48t} $cmin{v a48B} $c=={v a48J} $c/={v a48Z} $ccompare{v a49d} $c<{v a49o} $c<={v a49u} $c>{v a49A} $c>={v a49G} $cmax{v a49M} $cmin{v a49S} $ctestEquality{v a4a1} $c=={v a4as} $c/={v a4aw} $krep_a4cI{v} $krep_a4cJ{v} $krep_a4cK{v} $krep_a4cL{v} $krep_a4cM{v} $krep_a4cN{v} $krep_a4cO{v} $krep_a4cP{v} $krep_a4cQ{v} $krep_a4cR{v} $krep_a4cS{v} $krep_a4cT{v} $krep_a4cU{v} $krep_a4cV{v} $krep_a4cW{v} $krep_a4cX{v} $krep_a4cY{v} $krep_a4cZ{v} $krep_a4d0{v} $krep_a4d1{v} $krep_a4d2{v} $krep_a4d3{v} $krep_a4d4{v} $krep_a4d5{v} $krep_a4d6{v} $krep_a4d7{v} $krep_a4d8{v} $krep_a4d9{v} $krep_a4da{v} $krep_a4db{v} $krep_a4dc{v} $krep_a4dd{v} $krep_a4de{v} $krep_a4df{v} $krep_a4dg{v} $krep_a4dh{v} $krep_a4di{v} $krep_a4dj{v} $krep_a4dk{v} $krep_a4dl{v} $krep_a4dm{v} $krep_a4dn{v} $krep_a4do{v} $krep_a4dp{v} $krep_a4dq{v} $krep_a4dr{v} $krep_a4ds{v} go{v a54a} wild{v a54c} y{v a54g} ys{v a54h} ds_d4tk{v} ds_d4tl{v} ds_d4tm{v} ds_d4tn{v} ds_d4to{v} ds_d4tS{v} ds_d4vc{v} dt_d52H{v} dt_d52I{v} base:Data.Typeable.Internal.modulePackage{v r2LC} base:Data.Typeable.Internal.moduleName{v r2LD} base:Data.Typeable.Internal.tyConPackage{v r2LE} base:Data.Typeable.Internal.tyConModule{v r2LF} base:Data.Typeable.Internal.tyConName{v r2LG} base:Data.Typeable.Internal.trNameString{v r2LH} base:Data.Typeable.Internal.tyConFingerprint{v r2LI} base:Data.Typeable.Internal.tyConKindArgs{v r2LJ} base:Data.Typeable.Internal.tyConKindRep{v r2LK} base:Data.Typeable.Internal.rnfModule{v r2LL} base:Data.Typeable.Internal.rnfTrName{v r2LM} base:Data.Typeable.Internal.rnfKindRep{v r2LN} base:Data.Typeable.Internal.rnfList{v r2LP} base:Data.Typeable.Internal.rnfTyCon{v r2LR} base:Data.Typeable.Internal.typeRepFingerprint{v r2LT} base:Data.Typeable.Internal.withTypeable{v r2LU} base:Data.Typeable.Internal.someTypeRepTyCon{v r2LV} base:Data.Typeable.Internal.typeRepTyCon{v r2LW} base:Data.Typeable.Internal.eqTypeRep{v r2LX} base:Data.Typeable.Internal.typeRepKind{v r2LY} base:Data.Typeable.Internal.runtimeRepTypeRep{v r2M6} base:Data.Typeable.Internal.typeRep{v r2M9} base:Data.Typeable.Internal.typeOf{v r2Ma} base:Data.Typeable.Internal.someTypeRep{v r2Mb} base:Data.Typeable.Internal.someTypeRepFingerprint{v r2Mc} base:Data.Typeable.Internal.splitApps{v r2Me} base:Data.Typeable.Internal.funTyCon{v r2Mf} base:Data.Typeable.Internal.rnfTypeRep{v r2Mj} base:Data.Typeable.Internal.rnfSomeTypeRep{v r2Mk} base:Data.Typeable.Internal.mkTyCon#{v r2Mm} base:Data.Typeable.Internal.mkTyCon{v r2Mn} base:Data.Typeable.Internal.mkTyConFingerprint{v r2Mo} base:Data.Typeable.Internal.mkTypeLitFromString{v r2Mq} base:Data.Typeable.Internal.tcSymbol{v r2Mr} base:Data.Typeable.Internal.tcNat{v r2Ms} base:Data.Typeable.Internal.$tc'SomeTypeRep{v r2RW} base:Data.Typeable.Internal.$tcSomeTypeRep{v r2Sy} base:Data.Typeable.Internal.$tc'TrTyCon{v r2SA} base:Data.Typeable.Internal.$tc'TrApp{v r2SO} base:Data.Typeable.Internal.$tc'TrFun{v r2T2} base:Data.Typeable.Internal.$tcTypeRep{v r2Tg} base:Data.Typeable.Internal.$fShowSomeTypeRep{v r2Ug} base:Data.Typeable.Internal.$fShowTypeRep{v r2Ul} base:Data.Typeable.Internal.$fOrdSomeTypeRep{v r2UJ} base:Data.Typeable.Internal.$fEqSomeTypeRep{v r2US} base:Data.Typeable.Internal.$fOrdTypeRep{v r2UX} base:Data.Typeable.Internal.$fTestEqualitykTypeRep{v r2Vf} base:Data.Typeable.Internal.$fEqTypeRep{v r2Vp} base:Data.Typeable.Internal.$tc'SomeKindedTypeRep{v r2VB} base:Data.Typeable.Internal.$tcSomeKindedTypeRep{v r2VW} base:Data.Typeable.Internal.$tcTypeable{v r2Wg} base:Data.Typeable.Internal.$tc'C:Typeable{v r2Wh} base:Data.Typeable.Internal.$tc'Gift{v r2Wm} base:Data.Typeable.Internal.$tcGift{v r2WP} base:Data.Typeable.Internal.$mKindRepTypeLit{v r3DI} base:Data.Typeable.Internal.$bKindRepTypeLit{v r3IP} base:Data.Typeable.Internal.$mCon'{v r3LL} base:Data.Typeable.Internal.$mCon{v r3Ns} base:Data.Typeable.Internal.$mApp{v r3NA} base:Data.Typeable.Internal.$bApp{v r3Oi} base:Data.Typeable.Internal.$mFun{v r3Om} base:Data.Typeable.Internal.$bFun{v r3Sq} base:Data.Typeable.Internal.$trModule{v r43m} rnfString_s573{v} typeOf_s5bk{v} $trModule_s5bF{v} $trModule_s5bH{v} $krep_s5bP{v} $krep_s5bQ{v} $tcTypeRep_s5bR{v} $tcTypeRep_s5bS{v} $krep_s5bT{v} $krep_s5bU{v} $krep_s5bV{v} $krep_s5bW{v} $krep_s5bX{v} $krep_s5bY{v} $krep_s5bZ{v} $krep_s5c0{v} $tc'TrApp_s5c1{v} $tc'TrApp_s5c2{v} $krep_s5c3{v} $krep_s5c4{v} $krep_s5c5{v} $krep_s5c6{v} $krep_s5c7{v} $krep_s5c8{v} $tc'TrFun_s5c9{v} $tc'TrFun_s5ca{v} $tcSomeTypeRep_s5cb{v} $tcSomeTypeRep_s5cc{v} $tc'SomeTypeRep_s5cd{v} $tc'SomeTypeRep_s5ce{v} $krep_s5cg{v} $tc'TrTyCon_s5ch{v} $tc'TrTyCon_s5ci{v} $tcSomeKindedTypeRep_s5cj{v} $tcSomeKindedTypeRep_s5ck{v} $krep_s5cl{v} $tc'SomeKindedTypeRep_s5cm{v} $tc'SomeKindedTypeRep_s5cn{v} $tcTypeable_s5co{v} $tcTypeable_s5cp{v} $tc'C:Typeable_s5cs{v} $tc'C:Typeable_s5ct{v} $tcGift_s5cu{v} $tcGift_s5cv{v} $krep_s5cw{v} $krep_s5cx{v} $krep_s5cy{v} $tc'Gift_s5cz{v} $tc'Gift_s5cA{v} $dTypeable_s5cC{v} $dTypeable_s5cE{v} $dTypeable_s5cG{v} $dTypeable_s5cI{v} $dTypeable_s5cK{v} $dTypeable_s5cM{v} $dTypeable_s5cO{v} $dTypeable_s5cQ{v} $dTypeable_s5cS{v} $dTypeable_s5cU{v} $dTypeable_s5cW{v} $dTypeable_s5cY{v} $dTypeable_s5d0{v} $dTypeable_s5d1{v} $dTypeable_s5gz{v} $dTypeable_s5gB{v} $dTypeable_s5gD{v} $dTypeable_s5gF{v} $dTypeable_s5gH{v} $dTypeable_s5gJ{v} $dTypeable_s5gL{v} $dTypeable_s5gN{v} $dTypeable_s5gP{v} $dTypeable_s5gR{v} $dTypeable_s5gT{v} $dTypeable_s5gV{v} $dTypeable_s5gX{v} $dTypeable_s5gZ{v} $dTypeable_s5h1{v} $dTypeable_s5h3{v} go{v s5pU} vars{v s5pY} lvl_s5rC{v} lvl_s5rD{v} lvl_s5rG{v} lvl_s5rJ{v} lvl_s5rM{v} lvl_s5rP{v} lvl_s5rR{v} lvl_s5rS{v} lvl_s5rT{v} lvl_s5rU{v} lvl_s5rV{v} lvl_s5rY{v} $dTypeable_s5s2{v} lvl_s5s3{v} lvl_s5s6{v} lvl_s5s7{v} lvl_s5sa{v} lvl_s5sb{v} lvl_s5sv{v} f_s5sz{v} lvl_s5sC{v} lvl_s5sH{v} f_s5sL{v} lvl_s5sM{v} lvl_s5sN{v} g_s5sP{v} lvl_s5sQ{v} f_s5sS{v} g_s5sU{v} lvl_s5sV{v} lvl_s5sW{v} lvl_s5sZ{v} lvl_s5t9{v} modl{v s5tj} lvl_s5tk{v} lvl_s5tl{v} lvl_s5tm{v} lvl_s5tv{v} lvl_s5tw{v} lvl_s5tx{v} lvl_s5tR{v} lvl_s5tS{v} lvl_s5tT{v} lvl_s5u6{v} lvl_s5un{v} lvl_s5uo{v} lvl_s5up{v} lvl_s5uq{v} lvl_s5ur{v} lvl_s5us{v} lvl_s5ut{v} lvl_s5uu{v} lvl_s5uv{v} $dTypeable_s5uK{v} lvl_s5uU{v} lvl_s5v8{v} lvl_s5v9{v} lvl_s5va{v} lvl_s5vb{v} lvl_s5vc{v} lvl_s5vg{v} lvl_s5wZ{v} kind_vars_s5x2{v} lvl_s5xf{v} $j_s5Da{v} lvl_s5Mo{v} lvl_s5Mp{v} lvl_s5Mq{v} lvl_s5Mr{v} lvl_s5Ms{v} kind_vars_s5MF{v} kind_vars_s5MG{v} lvl_s5MI{v} modl_s5Nw{v} lvl_s5OE{v} $wrnfModule{v s6s3} $wrnfTyCon{v s6sj} $wgo{v s6tn} $wtypeSymbolTypeRep{v s6uf} lvl_s6Qv{v} lvl_s6Qw{v} lvl_s6Qx{v} lvl_s6Qy{v} lvl_s6Qz{v} lvl_s6QA{v} lvl_s6QB{v} lvl_s6QC{v} lvl_s6QD{v} lvl_s6QF{v} lvl_s6QG{v} lvl_s6QI{v} lvl_s6QJ{v} lvl_s6QK{v} lvl_s6QL{v} lvl_s6QM{v} lvl_s6QN{v} lvl_s6QO{v} lvl_s6QP{v} lvl_s6QQ{v} lvl_s6QR{v} lvl_s6QS{v} lvl_s6QT{v} lvl_s6QU{v} lvl_s6QV{v} lvl_s6QW{v} lvl_s6QY{v} lvl_s6QZ{v} lvl_s6R0{v} lvl_s6R1{v} lvl_s6R2{v} lvl_s6Rb{v} lvl_s6Rd{v} lvl_s6Re{v} lvl_s6Rf{v} lvl_s6Rg{v} lvl_s6Rh{v} lvl_s6Ri{v} lvl_s6Rj{v} lvl_s6Rk{v} lvl_s6Rl{v} lvl_s6Rm{v} lvl_s6Rn{v} lvl_s6Ro{v} lvl_s6Rp{v} lvl_s6Rq{v} lvl_s6Rr{v} lvl_s6Rs{v} lvl_s6Rt{v} lvl_s6Ru{v} lvl_s6Rv{v} lvl_s6Rw{v} lvl_s6Rx{v} lvl_s6Ry{v} lvl_s6Rz{v} lvl_s6RA{v} lvl_s6RC{v} lvl_s6RD{v} lvl_s6RE{v} lvl_s6RG{v} lvl_s6RL{v} lvl_s6RM{v} lvl_s6RN{v} lvl_s6RO{v} lvl_s6RP{v} lvl_s6RQ{v} lvl_s6RR{v} lvl_s6RS{v} lvl_s6RT{v} lvl_s6RU{v} lvl_s6RV{v} lvl_s6RW{v} lvl_s6RX{v} lvl_s6RY{v} lvl_s6RZ{v} lvl_s6S0{v} lvl_s6S1{v} lvl_s6S2{v} lvl_s6S3{v} lvl_s6S4{v} lvl_s6S5{v} lvl_s6S6{v} lvl_s6S7{v} lvl_s6S8{v} lvl_s6S9{v} lvl_s6Sa{v} lvl_s6Sb{v} lvl_s6Sc{v} lvl_s6Sd{v} lvl_s6Se{v} lvl_s6Sf{v} lvl_s6Sg{v} lvl_s6Sh{v} lvl_s6Si{v} lvl_s6Sj{v} lvl_s6Sl{v} lvl_s6Sm{v} lvl_s6So{v} lvl_s6Sp{v} lvl_s6Sr{v} lvl_s6Ss{v} lvl_s6Su{v} lvl_s6Sv{v} lvl_s6Sx{v} lvl_s6Sy{v} lvl_s6SA{v} lvl_s6SB{v} lvl_s6SD{v} lvl_s6SE{v} lvl_s6SG{v} lvl_s6SH{v} lvl_s6SJ{v} lvl_s6SK{v} go{v s6SM} go{v s6SO} lvl_s6SR{v} wild_s6ST{v} ds_s6SU{v} ds_s6SV{v} ds_s6SW{v} ds_s6SX{v} nKindVars#{v s6SY} kindRep{v s6SZ} lvl_s6T8{v} lvl_s6Ta{v} $sgo{v s7lX} sc_s7lY{v} sc_s7lZ{v} sc_s7m0{v} sc_s7m1{v} sc_s7m3{v} sc_s7m5{v} $sgo{v s7m6} $s$wgo{v s7sR} $s$wgo{v s7sV} $stypeRepTyCon{v s7th} $stypeRepTyCon{v s7ti} $stypeRepTyCon{v s7tj} $srnfList{v s7tW}} Type env: [a403 :-> (a{tv a403} [tv] :: (k{tv a402} [tv] :: *)), a43r :-> (k1{tv a43r} [tv] :: (k{tv a43q} [tv] :: *)), a43t :-> (a{tv a43t} [tv] :: (k{tv a43s} [tv] :: *))] Co env: []] }}} This is with the following `build.mk`, {{{#!makefile BuildFlavour = dwarf ifneq "$(BuildFlavour)" "" include mk/flavours/$(BuildFlavour).mk endif GhcStage2HcOpts += -eventlog STRIP_CMD = : }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13658> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #13697: Teach GHCi to deduplicate history
by GHC 15 May '17

15 May '17

#13697: Teach GHCi to deduplicate history -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHCi's (or rather, Haskeline's) history functionality tends to duplicate entries, even when the user used history to enter an entry. This is quite annoying and an issue I've not noticed in other command line libraries. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13697> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8