February 2013 - ghc-tickets

Re: [GHC] #2456: For higher kinds, instance declarations need quantification in the context
by GHC 02 Feb '13

02 Feb '13

#2456: For higher kinds, instance declarations need quantification in the context -------------------------------+-------------------------------------------- Reporter: ronwalf | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.9 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: x86 Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by morabbin): * failure: => None/Unknown * os: MacOS X => Unknown/Multiple Comment: Once one adds {{{ {-# LANGUAGE OverlappingInstances, TypeOperators, StandaloneDeriving, MultiParamTypeClasses, FlexibleInstances, DeriveDataTypeable #-} }}} 7.6.1 yields: {{{ 1 of 1] Compiling DerivingError ( DerivingError.hs, interpreted ) DerivingError.hs:81:1: Duplicate type signature: DerivingError.hs:81:1-33: $tExpr :: Data.Data.DataType DerivingError.hs:80:1-35: $tExpr :: Data.Data.DataType DerivingError.hs:81:1: Duplicate type signature: DerivingError.hs:81:1-33: $cIn :: Data.Data.Constr DerivingError.hs:80:1-35: $cIn :: Data.Data.Constr }}} Is this the expected behavior? Type system question: do we know that all of these extensions play nicely in a type-theoretic sense? Is the argument that, since they're all expressible in System F_C, we're okay? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2456#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 02 Feb '13

02 Feb '13

#2496: Invalid Eq/Ord instances in Data.Version ---------------------------------+------------------------------------------ Reporter: guest | Owner: duncan Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/base | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by igloo): * owner: duncan.coutts@… => duncan -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2496#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 02 Feb '13

02 Feb '13

#2496: Invalid Eq/Ord instances in Data.Version ---------------------------------+------------------------------------------ Reporter: guest | Owner: duncan.coutts@… Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/base | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by morabbin): * failure: => None/Unknown Comment: `Data.Version` in `base-4.6.0.1` still has the quoted instance for `Eq`. Not clear if there's been a library proposal. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2496#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1849: Template Haskell: reify is not consistent with the special constructors ListT and TupleT
by GHC 02 Feb '13

02 Feb '13

#1849: Template Haskell: reify is not consistent with the special constructors ListT and TupleT ---------------------------------+------------------------------------------ Reporter: guest | Type: bug Status: closed | Priority: normal Milestone: _|_ | Component: Template Haskell Version: 6.8.1 | Resolution: fixed Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: T1849 Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by igloo): * status: new => closed * testcase: => T1849 * resolution: => fixed Comment: I don't think there's any current plan to remove `ListT` and `TupleT`, but we now get the desired output in HEAD. I've added a test. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1849#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7353: Make system IO interruptible on Windows
by GHC 02 Feb '13

02 Feb '13

#7353: Make system IO interruptible on Windows ---------------------------------+------------------------------------------ Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Keywords: | Os: Windows Architecture: Unknown/Multiple | Failure: Incorrect result at runtime Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by joeyadams): * blockedby: 7415 => Comment: I don't have time to work on this right now. It's more complicated than I expected: * Making the IOCP approach efficient would involve integration with the scheduler and a better understanding of how IOCP interacts with OS threads. * Couldn't switch to nonblocking sockets by [https://github.com/haskell/network/pull/79 modifying the network package alone], as GHC doesn't actually support custom IO devices. Some Handle methods cast the device to FD so they can read/write directly from/to the device; see #4144 . -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7353#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7046: Simplifier failing to unbox join point
by GHC 01 Feb '13

01 Feb '13

#7046: Simplifier failing to unbox join point ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: perf/should_run/T5113 Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * owner: => simonpj Comment: I think I know what is going on here. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7046#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7648: please don't include mingw and mingw64 in main src tarball
by GHC 01 Feb '13

01 Feb '13

#7648: please don't include mingw and mingw64 in main src tarball -----------------------------+---------------------------------------------- Reporter: juhpetersen | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- ghc >= 7.6 source tarballs are now over 100MB! :-( {{{ 106M ghc-7.6.2-src.tar.bz2 106M ghc-7.6.1-src.tar.bz2 81M ghc-7.6.1/ghc-tarballs/mingw64/x86_64-w64-mingw32-gcc-4.6.3-release- win64_rubenvb.tar.bz2 25M ghc-7.4.2-src.tar.bz2 24M ghc-7.0.4-src.tar.bz2 }}} Would it please be possible to distribute the huge mingw64 and also the mingw tarballs in a separate tarball(s) for people building for Windows? They probably also do not change as often as GHC does anyway...? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7648> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7046: Simplifier failing to unbox join point
by GHC 01 Feb '13

01 Feb '13

#7046: Simplifier failing to unbox join point ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: perf/should_run/T5113 Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by igloo): It's failing again now. Possibly related to the `cabal` tests, that were failing due to forcing !DynFlags too much, but seem to have stopped failing again? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7046#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7632: `./sync-all pull` fails in `libraries xhtml`
by GHC 01 Feb '13

01 Feb '13

#7632: `./sync-all pull` fails in `libraries xhtml` -----------------------------+---------------------------------------------- Reporter: morabbin | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- `./sync-all pull` fails in `libraries xhtml` {{{ == libraries/xhtml: running git pull You are not currently on a branch. Please specify which branch you want to merge with. See git-pull(1) for details. git pull <remote> <branch> git failed: 256 at ./sync-all line 176. }}} (On branch `master`.) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7632> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #2273: inlining defeats seq
by GHC 01 Feb '13

01 Feb '13

#2273: inlining defeats seq -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.9 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by igloo): The ticket was reopened for a different example: http://hackage.haskell.org/trac/ghc/ticket/2273#comment:8 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2273#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0