- ghc-tickets - Haskell.org

Re: [GHC] #7261: ghci's :info and :browse break encapsulation
by GHC 12 Apr '13

12 Apr '13

#7261: ghci's :info and :browse break encapsulation ---------------------------------+------------------------------------------ Reporter: Feuerbach | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: GHCi | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by igloo): Note that `GHC.IO` exports the internals of the `IO` type: {{{ module GHC.IO ( IO(..), ... ... }}} Scope rules are defined in http://www.haskell.org/onlinereport/haskell2010/ (probably the `Modules` chapter in particular). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7261#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7269: GeneralizedNewtypeDeriving and PolyKinds
by GHC 12 Apr '13

12 Apr '13

#7269: GeneralizedNewtypeDeriving and PolyKinds ---------------------------------+------------------------------------------ Reporter: dreixel | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by igloo): * difficulty: => Unknown * milestone: => 7.8.1 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7269#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7261: ghci's :info and :browse break encapsulation
by GHC 12 Apr '13

12 Apr '13

#7261: ghci's :info and :browse break encapsulation ---------------------------------+------------------------------------------ Reporter: Feuerbach | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: GHCi | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by Feuerbach): Oh. Apparently scoping rules in ghci are more complicated than I imagined (re `GHC.IO.IO`). Where can I read more about them? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7261#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7268: Explicit type signatures for top level record pattern matches polymorphism fail
by GHC 12 Apr '13

12 Apr '13

#7268: Explicit type signatures for top level record pattern matches polymorphism fail ----------------------------------------+----------------------------------- Reporter: TristanAllwood | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by igloo): * owner: => simonpj * difficulty: => Unknown * milestone: => 7.8.1 Comment: Thanks for the report. Simon, could you take a look at what the expected behaviour is here, please? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7268#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7261: ghci's :info and :browse break encapsulation
by GHC 12 Apr '13

12 Apr '13

#7261: ghci's :info and :browse break encapsulation ---------------------------------+------------------------------------------ Reporter: Feuerbach | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: GHCi | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by igloo): * difficulty: => Unknown * type: bug => feature request * milestone: => _|_ Comment: Hmm, so I guess you'd get: {{{ Prelude> :i IO data IO a -- Defined in ‛GHC.Types’ }}} {{{ Prelude> :i GHC.IO.IO newtype IO a = GHC.Types.IO (GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, a #)) -- Defined in ‛GHC.Types’ }}} and presumably you would still get: {{{ $ ghci Unique.hs *Data.Unique> :i Unique newtype Unique = Unique Integer -- Defined at Unique.hs:42:9 }}} I'm rather ambivalent about this. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7261#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7209: haddock fails with "internal error: spliceURL UnhelpfulSpan"
by GHC 12 Apr '13

12 Apr '13

#7209: haddock fails with "internal error: spliceURL UnhelpfulSpan" -------------------------------+-------------------------------------------- Reporter: valiron | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Documentation | Version: 7.4.2 Resolution: invalid | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Runtime crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by igloo): * status: new => closed * difficulty: => Unknown * resolution: => invalid Comment: This presumably isn't affecting haddocking GHC or its libraries, as that would cause the build to fail, so the haddock trac is the right place for this report. I'll therefore close this ticket and leave http://trac.haskell.org/haddock/ticket/207 to track the issue. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7209#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7190: GHC's -fprof-auto does not work with LINE pragmas
by GHC 12 Apr '13

12 Apr '13

#7190: GHC's -fprof-auto does not work with LINE pragmas ---------------------------------+------------------------------------------ Reporter: timthelion | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Profiling | Version: 7.4.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by igloo): * difficulty: => Unknown * component: Compiler => Profiling * milestone: => 7.8.1 Comment: Thanks for the report. We'll take a look. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7190#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7827: GHC internal error: `a' is not in scope during type checking, but it passed the renamer
by GHC 12 Apr '13

12 Apr '13

#7827: GHC internal error: `a' is not in scope during type checking, but it passed the renamer --------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- In the attached code the following lines give an internal GHC error. At least this should not happen. I also think this is valid code. Removing either type annotation makes this code compile. {{{ bug :: WrappedR Int -> SomeFunction bug (Wrap node) = case node of (Memo' (emptyT :: t a b) memoize (Var m) :: R' a b Int) -> -- also breaks }}} {{{ /Users/alessandro/Documents/Uni/thesis/test/bug-tvar-passed- renamer.hs:14:104: GHC internal error: `a' is not in scope during type checking, but it passed the renamer tcl_env of environment: [(am4, Identifier[node::R' a b Int, <NotTopLevel>, 1]), (rgs, Identifier[bug::WrappedR Int -> SomeFunction, <NotTopLevel>, 1])] In the type `R' a b Int' In a pattern type signature: R' a b Int In the pattern: Memo' (emptyT :: t a b) (memoize :: MVar (t a b) -> (a -> b) -> a -> b) (Var m :: R' a b Int) :: R' a b Int }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7827> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #6135: Unboxed Booleans
by GHC 12 Apr '13

12 Apr '13

#6135: Unboxed Booleans ---------------------------------+------------------------------------------ Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #605 | ---------------------------------+------------------------------------------ Comment(by simonpj): Oh, ok. Then I suppose the path of least resistance is to stick with `Int#` throughout. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6135: Unboxed Booleans
by GHC 12 Apr '13

12 Apr '13

#6135: Unboxed Booleans ---------------------------------+------------------------------------------ Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #605 | ---------------------------------+------------------------------------------ Comment(by jstolarek): I already took care of that a few weeks ago. We have logical primops that operate on Int# (andI#, orI#, xorI#, notI#) - see #7689. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0