July 2018 - ghc-tickets

[GHC] #14471: Certain do blocks cause TH to barf when ApplicativeDo is enabled
by GHC 12 Jul '18

12 Jul '18

#14471: Certain do blocks cause TH to barf when ApplicativeDo is enabled -------------------------------------+------------------------------------- Reporter: lexi.lambda | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 8.2.1 Haskell | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program fails with an error: {{{#!hs {-# LANGUAGE ApplicativeDo #-} {-# LANGUAGE TemplateHaskell #-} main = $([|do return () return () return ()|]) }}} {{{ Exotic.hs:4:12: error: Exotic statement not (yet) handled by Template Haskell [return (); return (), return ()] }}} It only happens when `ApplicativeDo` is enabled. Furthermore, while this example is extremely minimal, this issue isn’t restricted to `ApplicativeDo`’s special handling of `return`. The following example produces the same error: {{{#!hs {-# LANGUAGE ApplicativeDo #-} {-# LANGUAGE TemplateHaskell #-} main = $([|do getLine getLine getLine|]) }}} {{{ Exotic.hs:4:12: error: Exotic statement not (yet) handled by Template Haskell [getLine; getLine, getLine] }}} This ''doesn’t'' happen with fewer than three statements in the `do` block, but it ''does'' happen with more. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14471> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15321: Typed holes in Template Haskell splices produce bewildering error messages
by GHC 12 Jul '18

12 Jul '18

#15321: Typed holes in Template Haskell splices produce bewildering error messages -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Template | Version: 8.4.3 Haskell | Keywords: TypedHoles | Operating System: Unknown/Multiple Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- If you compile this program with GHC 8.4 or later: {{{#!hs {-# LANGUAGE TemplateHaskell #-} module Bug where foo :: String foo = test bar :: String bar = $(_ "baz") }}} You'll be greeted with a rather strange error message: {{{ $ /opt/ghc/8.4.3/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:8:7: error: • GHC stage restriction: ‘foo’ is used in a top-level splice, quasi-quote, or annotation, and must be imported, not defined locally • In the untyped splice: $(_ "baz") | 8 | bar = $(_ "baz") | ^^^^^^^^^^ }}} `foo` has nothing do with how `bar`'s RHS should be typechecked, so why is it being mentioned in the error message? In contrast, GHC 8.2 and earlier gives you quite a nice error message: {{{ $ /opt/ghc/8.2.2/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:8:9: error: • Found hole: _ :: [Char] -> Language.Haskell.TH.Lib.ExpQ • In the expression: _ In the expression: _ "baz" In the untyped splice: $(_ "baz") | 8 | bar = $(_ "baz") | ^ }}} Tritlo, my hunch is that the valid hole fits stuff is the culprit here. Do you think that perhaps when building the subsumption graph, we are trying to check the hole's type against that of `foo`, which causes the stage restriction error? If so, do you think it is possible to work around this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15321> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #15290: QuantifiedConstraints: panic "addTcEvBind NoEvBindsVar"
by GHC 12 Jul '18

12 Jul '18

#15290: QuantifiedConstraints: panic "addTcEvBind NoEvBindsVar" -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple QuantifiedConstraints | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I wanted to see if we're ready to put `join` into `Monad`. So I typed this in: {{{#!hs {-# LANGUAGE QuantifiedConstraints, StandaloneDeriving, GeneralizedNewtypeDeriving #-} module Bug where import Prelude hiding ( Monad(..) ) import Data.Coerce ( Coercible ) class Monad m where (>>=) :: m a -> (a -> m b) -> m b join :: m (m a) -> m a newtype StateT s m a = StateT { runStateT :: s -> m (s, a) } instance Monad m => Monad (StateT s m) where ma >>= fmb = StateT $ \s -> runStateT ma s >>= \(s1, a) -> runStateT (fmb a) s1 join ssa = StateT $ \s -> runStateT ssa s >>= \(s, sa) -> runStateT sa s newtype IntStateT m a = IntStateT { runIntStateT :: StateT Int m a } deriving instance (Monad m, forall p q. Coercible p q => Coercible (m p) (m q)) => Monad (IntStateT m) }}} This looks like it should be accepted. But I get {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.5.20180617 for x86_64-apple-darwin): addTcEvBind NoEvBindsVar [G] df_a67k = \ (@ p_a62C) (@ q_a62D) (v_B1 :: Coercible p_a62C q_a62D) -> coercible_sel @ * @ (m_a64Z[ssk:1] p_a62C) @ (m_a64Z[ssk:1] q_a62D) (df_a651 @ p_a62C @ q_a62D v_B1) a67c Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1164:37 in ghc:Outputable pprPanic, called at compiler/typecheck/TcRnMonad.hs:1404:5 in ghc:TcRnMonad }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15290> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 38

[GHC] #15061: print022 testcase fails on i386
by GHC 12 Jul '18

12 Jul '18

#15061: print022 testcase fails on i386 -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.6.1 Component: GHCi | Version: 8.2.2 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: -------------------------------------+------------------------------------- CircleCI's i386 way is showing this failure of `print002` in the `ghci` way, {{{ Actual stderr output differs from expected: --- /dev/null 2018-04-18 16:05:23.479353000 +0000 +++ ./ghci.debugger/scripts/print022.run/print022.run.stderr.normalised 2018-04-19 13:53:47.685662431 +0000 @@ -0,0 +1 @@ +*** Exception: Prelude.chr: bad argument: 1493110744 *** unexpected failure for print022(ghci) }}} This is a bit frightening as it suggests that there is memory unsafety here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15061> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #15307: Incorrect -ddump-deriv parenthesization for GND'd fmap implementation
by GHC 12 Jul '18

12 Jul '18

#15307: Incorrect -ddump-deriv parenthesization for GND'd fmap implementation -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.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: -------------------------------------+------------------------------------- This program: {{{#!hs {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# OPTIONS_GHC -ddump-deriv #-} module Bug where newtype Foo a = MkFoo (Maybe a) deriving Functor }}} When compiling, displays incorrect code in its `-ddump-deriv` output: {{{ $ ghci Bug.hs GHCi, version 8.4.3: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/ryanglscott/.ghci [1 of 1] Compiling Bug ( Bug.hs, interpreted ) ==================== Derived instances ==================== Derived class instances: instance GHC.Base.Functor Bug.Foo where GHC.Base.fmap = GHC.Prim.coerce @(forall (a_a1y2 :: TYPE GHC.Types.LiftedRep) (b_a1y3 :: TYPE GHC.Types.LiftedRep). a_a1y2 -> b_a1y3 -> GHC.Base.Maybe a_a1y2 -> GHC.Base.Maybe b_a1y3) @(forall (a_a1y2 :: TYPE GHC.Types.LiftedRep) (b_a1y3 :: TYPE GHC.Types.LiftedRep). a_a1y2 -> b_a1y3 -> Bug.Foo a_a1y2 -> Bug.Foo b_a1y3) GHC.Base.fmap (GHC.Base.<$) = GHC.Prim.coerce @(forall (a_a1y9 :: TYPE GHC.Types.LiftedRep) (b_a1ya :: TYPE GHC.Types.LiftedRep). a_a1y9 -> GHC.Base.Maybe b_a1ya -> GHC.Base.Maybe a_a1y9) @(forall (a_a1y9 :: TYPE GHC.Types.LiftedRep) (b_a1ya :: TYPE GHC.Types.LiftedRep). a_a1y9 -> Bug.Foo b_a1ya -> Bug.Foo a_a1y9) (GHC.Base.<$) Derived type family instances: Ok, one module loaded. }}} Notice how the type of `fmap` is `a_a1y2 -> b_a1y3 -> Bug.Foo a_a1y2 -> Bug.Foo b_a1y3`, not `(a_a1y2 -> b_a1y3) -> Bug.Foo a_a1y2 -> Bug.Foo b_a1y3`. The culprit is the `nlHsFunTy` function, which is used to construct this function type in `typeToLHsType`: {{{#!hs nlHsFunTy :: LHsType (GhcPass p) -> LHsType (GhcPass p) -> LHsType (GhcPass p) nlHsFunTy a b = noLoc (HsFunTy noExt a b) }}} This makes no attempt to add `HsParTy`s around any of its arguments. It's tempting to parenthesize //both// arguments, but interestingly, if you do this, then the type of `fmap` would become: {{{#!hs (a -> b) -> (Foo a -> Foo b) }}} This perhaps not what we want, since the parentheses around `Foo a -> Foo b` are redundant. Therefore, I propose that we adopt the same parenthesization scheme that `ppr_ty` uses for pretty-printing Core `Type`s: {{{#!hs ppr_ty ctxt_prec (IfaceFunTy ty1 ty2) = -- We don't want to lose synonyms, so we mustn't use splitFunTys here. maybeParen ctxt_prec funPrec $ sep [ppr_ty funPrec ty1, sep (ppr_fun_tail ty2)] where ppr_fun_tail (IfaceFunTy ty1 ty2) = (arrow <+> ppr_ty funPrec ty1) : ppr_fun_tail ty2 ppr_fun_tail other_ty = [arrow <+> pprIfaceType other_ty] }}} Namely, always parenthesize the argument type under `funPrec`, and recursively check the result type to see if it's also a function type, parenthesizing its arguments as necessary. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15307> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #15308: Error message prints explicit kinds when it shouldn't
by GHC 12 Jul '18

12 Jul '18

#15308: Error message prints explicit kinds when it shouldn't -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 (Type checker) | Keywords: TypeInType | Operating System: Unknown/Multiple Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When compiled, this program: {{{#!hs {-# LANGUAGE GADTs #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeInType #-} {-# OPTIONS_GHC -fno-print-explicit-kinds #-} module Bug where import Data.Kind data Foo (a :: Type) :: forall b. (a -> b -> Type) -> Type where MkFoo :: Foo a f f :: Foo a f -> String f = show }}} Gives the following error: {{{ $ /opt/ghc/8.4.3/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:13:5: error: • No instance for (Show (Foo a b f)) arising from a use of ‘show’ • In the expression: show In an equation for ‘f’: f = show | 13 | f = show | ^^^^ }}} This error message is slightly incorrect, however. In "`No instance for (Show (Foo a b f))`", it claims that `Foo` has three visible type parameters, but it only has two. (I've even made sure to enable `-fno- print-explicit-kinds` at the type to ensure that the invisible `b` kind shouldn't get printed, but it was anyway.) This is a regression that was apparently introduced between GHC 8.0 and 8.2, since in GHC 8.0.2, it prints the correct thing: {{{ $ /opt/ghc/8.0.2/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:13:5: error: • No instance for (Show (Foo a f)) arising from a use of ‘show’ • In the expression: show In an equation for ‘f’: f = show }}} But it does not in GHC 8.2.1: {{{ $ /opt/ghc/8.2.1/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:13:5: error: • No instance for (Show (Foo a b f)) arising from a use of ‘show’ • In the expression: show In an equation for ‘f’: f = show | 13 | f = show | ^^^^ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15308> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15315: Renamer plugins could run after each group has been renamed
by GHC 12 Jul '18

12 Jul '18

#15315: Renamer plugins could run after each group has been renamed -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: plugins | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In discussion with Ben, he suggested that it might be possible for a renamer plugin to run after each group had been renamed. This would then make it possible to modify renamed bindings. Currently, the interface for renamer plugins is quite strange and they run just before typechecker plugins in the implementation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15315> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #15318: Core Lint error involving newtype family instances with wrappers
by GHC 12 Jul '18

12 Jul '18

#15318: Core Lint error involving newtype family instances with wrappers -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 (Type checker) | Keywords: TypeFamilies | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program gives a Core Lint error on GHC 8.4 and later: {{{#!hs {-# LANGUAGE GADTs #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} module Bug where data family Sn a newtype instance Sn (Either a b) where SnC :: forall b a. Char -> Sn (Either a b) }}} {{{ $ /opt/ghc/8.4.3/bin/ghc -dcore-lint Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) *** Core Lint errors : in result of Tidy Core *** <no location info>: warning: [in body of lambda with binder dt_aZm :: Char] From-type of Cast differs from type of enclosed expression From-type: R:SnEither a_auS b_auR Type of enclosed expr: Sn (Either a_auS b_auR) Actual enclosed expr: dt_aZm `cast` (Sym (N:R:SnEither[0] <a_auS>_N <b_auR>_N) ; Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (Char :: *) ~R# (Sn (Either a_auS b_auR) :: *)) Coercion used in cast: Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) *** Offending Program *** $WSnC [InlPrag=INLINE[2]] :: forall b a. Char -> Sn (Either a b) [GblId[DataConWrapper], Arity=1, Caf=NoCafRefs, Str=<L,U>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True) Tmpl= \ (@ b_auR) (@ a_auS) (dt_aZm [Occ=Once] :: Char) -> (dt_aZm `cast` (Sym (N:R:SnEither[0] <a_auS>_N <b_auR>_N) ; Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (Char :: *) ~R# (Sn (Either a_auS b_auR) :: *))) `cast` (Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (R:SnEither a_auS b_auR :: *) ~R# (Sn (Either a_auS b_auR) :: *))}] $WSnC = \ (@ b_auR) (@ a_auS) (dt_aZm [Occ=Once] :: Char) -> (dt_aZm `cast` (Sym (N:R:SnEither[0] <a_auS>_N <b_auR>_N) ; Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (Char :: *) ~R# (Sn (Either a_auS b_auR) :: *))) `cast` (Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (R:SnEither a_auS b_auR :: *) ~R# (Sn (Either a_auS b_auR) :: *)) $trModule1_r10g :: Addr# [GblId, Caf=NoCafRefs] $trModule1_r10g = "main"# $trModule2_r10D :: TrName [GblId, Caf=NoCafRefs] $trModule2_r10D = TrNameS $trModule1_r10g $trModule3_r10E :: Addr# [GblId, Caf=NoCafRefs] $trModule3_r10E = "Bug"# $trModule4_r10F :: TrName [GblId, Caf=NoCafRefs] $trModule4_r10F = TrNameS $trModule3_r10E $trModule :: Module [GblId, Caf=NoCafRefs] $trModule = Module $trModule2_r10D $trModule4_r10F $krep_r10G :: KindRep [GblId] $krep_r10G = KindRepTyConApp $tcChar ([] @ KindRep) $krep1_r10H :: KindRep [GblId, Caf=NoCafRefs] $krep1_r10H = KindRepVar 1# $krep2_r10I :: KindRep [GblId, Caf=NoCafRefs] $krep2_r10I = KindRepVar 0# $krep3_r10J :: [KindRep] [GblId, Caf=NoCafRefs] $krep3_r10J = : @ KindRep $krep2_r10I ([] @ KindRep) $krep4_r10K :: [KindRep] [GblId, Caf=NoCafRefs] $krep4_r10K = : @ KindRep $krep1_r10H $krep3_r10J $krep5_r10L :: KindRep [GblId] $krep5_r10L = KindRepTyConApp $tcEither $krep4_r10K $tcSn1_r10M :: Addr# [GblId, Caf=NoCafRefs] $tcSn1_r10M = "Sn"# $tcSn2_r10N :: TrName [GblId, Caf=NoCafRefs] $tcSn2_r10N = TrNameS $tcSn1_r10M $tcSn :: TyCon [GblId] $tcSn = TyCon 461968091845555535## 16320521938866097056## $trModule $tcSn2_r10N 0# krep$*Arr* $krep6_r10O :: [KindRep] [GblId] $krep6_r10O = : @ KindRep $krep5_r10L ([] @ KindRep) $krep7_r10P :: KindRep [GblId] $krep7_r10P = KindRepTyConApp $tcSn $krep6_r10O $krep8_r10Q :: KindRep [GblId] $krep8_r10Q = KindRepFun $krep_r10G $krep7_r10P $tc'SnC1_r10R :: Addr# [GblId, Caf=NoCafRefs] $tc'SnC1_r10R = "'SnC"# $tc'SnC2_r10S :: TrName [GblId, Caf=NoCafRefs] $tc'SnC2_r10S = TrNameS $tc'SnC1_r10R $tc'SnC :: TyCon [GblId] $tc'SnC = TyCon 3818830880305712792## 17484539998814842835## $trModule $tc'SnC2_r10S 2# $krep8_r10Q *** End of Offense *** <no location info>: error: Compilation had errors }}} If we look at the Core for `$WSnC`, we see the culprit: {{{ $WSnC = \ (@ b_auR) (@ a_auS) (dt_aZm [Occ=Once] :: Char) -> (dt_aZm `cast` (Sym (N:R:SnEither[0] <a_auS>_N <b_auR>_N) ; Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (Char :: *) ~R# (Sn (Either a_auS b_auR) :: *))) `cast` (Sym (D:R:SnEither0[0] <a_auS>_N <b_auR>_N) :: (R:SnEither a_auS b_auR :: *) ~R# (Sn (Either a_auS b_auR) :: *)) }}} The inner cast goes from `Char` to `Sn (Either a b)`, but then the outer cast goes from `R:SnEither a b` to `Sn (Either a b)`, which is not transitive. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15318> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15323: mkGadtDecl does not set con_forall correctly
by GHC 12 Jul '18

12 Jul '18

#15323: mkGadtDecl does not set con_forall correctly -------------------------------------+------------------------------------- Reporter: alanz | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.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: -------------------------------------+------------------------------------- A GADT declaration surrounded in parens does not det the `con_forall` field correctly. e.g. {{{#!hs data MaybeDefault v where TestParens :: (forall v . (Eq v) => MaybeDefault v) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15323> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #15335: Export `findImportUsage` from `rename/RnNames.hs` module
by GHC 12 Jul '18

12 Jul '18

#15335: Export `findImportUsage` from `rename/RnNames.hs` module -------------------------------------+------------------------------------- Reporter: chshersh | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple imports,refactoring,export | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm writing source plugin for analyzing imports in Haskell source code. I don't want to duplicate code already written in GHC. So I would like to have `findImportUsage` function and `ImportDeclUsage` type aliases exported from `RnNames` module: * [https://github.com/ghc/ghc/blob/ccd8ce405db89142932daea3fdace8814b110798/co… GitHub: ghc/compilier/rename/RnNames] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15335> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4