- ghc-tickets - Haskell.org

[GHC] #9158: Broken link in User's Guide
by GHC 01 Jun '14

01 Jun '14

#9158: Broken link in User's Guide ------------------------------------+-------------------------------------- Reporter: gidyn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- The online User's Guide [http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/packages.html #building-packages 4.9.7. Building a package from Haskell source] contains a broken link to [http://www.haskell.org/ghc/docs/7.8.2/html/Cabal/index.html Cabal]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9158> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #5599: msys has bad Unicode support
by GHC 31 May '14

31 May '14

#5599: msys has bad Unicode support -------------------------------------------------+------------------------- Reporter: simonpj | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: 7.4.1 Resolution: fixed | Version: 7.2.1 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: llibraries/tests/IO/T3307, | Unknown/Multiple environment001 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by awson): Replying to [comment:6 schyler]: > #8842 would be a good thing to check before making it default. You shall *never* install msys2 runtime and development tools. You should only install msys2-base distribution and mingw(32|64)-* runtime and development tools. You also shall start msys2 shell with mingw(32|64)_shell.bat script included into distribution. This way you receive (native 32 or 64 bit windows) mingw-w64 runtime based development environment with no remnants of Msys2 runtime. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5599#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5599: msys has bad Unicode support
by GHC 31 May '14

31 May '14

#5599: msys has bad Unicode support -------------------------------------------------+------------------------- Reporter: simonpj | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: 7.4.1 Resolution: fixed | Version: 7.2.1 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: llibraries/tests/IO/T3307, | Unknown/Multiple environment001 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by schyler): Replying to [comment:5 simonpj]: > MSYS2 is way better than MSYS, so I think we should just adopt it. I'm making it an expected pass. > > Simon #8842 would be a good thing to check before making it default. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5599#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1388: Newbie help features
by GHC 31 May '14

31 May '14

#1388: Newbie help features -------------------------------+------------------------------------------- Reporter: guest | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: low | Version: 6.6.1 Component: GHCi | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by nomeata): * cc: hvr (added) * failure: => None/Unknown Comment: `type Bar = (Char, Int)` works now in GHCi. `f = 1` doesn’t, but given that GHCi supports all(?) other toplevel declarations by now, I wonder why. I could even print something helpful like {{{ > f = 1 Defined: f :: Num a => a }}} or less verbose {{{ > f = 1 f :: Num a => a }}} so that the user knows what’s going on. Or simply treat it exactly like `let f = 1`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1388#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7241: GHC-7.6.1 panics on template haskell code
by GHC 31 May '14

31 May '14

#7241: GHC-7.6.1 panics on template haskell code ---------------------------------------+----------------------------------- Reporter: akamaus | Owner: Yuras Type: bug | Status: patch Priority: normal | Milestone: 7.8.3 Component: Template Haskell | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by Amatic): * cc: lightwing15@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7241#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9075: Per-thread weak pointer list (remove global lock on mkWeak#)
by GHC 30 May '14

30 May '14

#9075: Per-thread weak pointer list (remove global lock on mkWeak#) ------------------------------+-------------------------------------------- Reporter: ezyang | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime | Version: 7.9 System | Operating System: Unknown/Multiple Keywords: easy | Type of failure: Runtime performance bug Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- Currently, we have to take out the storage manager lock when a weak pointer is allocated. If you're making a lot of weak pointers, this could become a bottleneck. We should maintain a per-thread weak pointer list per generation, so that we don't have to take out a lock. Marking priority as low since I don't think anyone actually is trying to allocate tons of weak pointers on multiple threads, but I think this optimization should be relatively cheap. Probably a good starter ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9075> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #7521: Simplifier ticks exhausted when compiling Accelerate example.
by GHC 30 May '14

30 May '14

#7521: Simplifier ticks exhausted when compiling Accelerate example. ---------------------------------------+----------------------------------- Reporter: eamsden | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.3 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Changes (by George): * cc: george.colpitts@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7521#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7521: Simplifier ticks exhausted when compiling Accelerate example.
by GHC 30 May '14

30 May '14

#7521: Simplifier ticks exhausted when compiling Accelerate example. ---------------------------------------+----------------------------------- Reporter: eamsden | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.3 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: Type of failure: Compile-time crash | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Comment (by George): Does this fail on 7.8.2? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7521#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 30 May '14

30 May '14

#6018: Injective type families -------------------------------+------------------------------------------- Reporter: lunaris | Owner: simonpj Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by acowley): My intended uses seem to arise quite often, but I've not found one that boils down into a small, self-contained, compelling example. In broad terms, I would like to use type families for decoupling, as hpacheco describes, and to do things like move back and forth between a set of distinct types and singleton Nats. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 30 May '14

30 May '14

#6018: Injective type families -------------------------------+------------------------------------------- Reporter: lunaris | Owner: simonpj Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by hpacheco): Is there a current version of the path that works against the current GHC HEAD? The 2-year-old one fails. I can say that I have been trying to define injective type families ever since TypeFamilies were introduced! Especially to define functions like the fmap that MikeIzbicki showed or very simple type-level aliases between different type classes. It also increases modularity. For example, to define the datatypes in different modules, and define an type family aliases in a parent module. {{{ module A where data A = ... data FA = ... module B where data B = ... data FB = ... module Main where import A import B type family F a :: * type instance F A = FA type instance F A = FB }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0