[GHC] #7544: GHC downloads are unsigned

2013-01-02 Thread GHC
#7544: GHC downloads are unsigned --+- Reporter: afcowie| Owner: Type: feature request| Status: new Priority: normal | Component: Build System

Re: [GHC] #7216: Compositional blocking on file descriptors

2013-01-02 Thread GHC
#7216: Compositional blocking on file descriptors ---+ Reporter: AndreasVoellmy| Owner: igloo Type: feature request | Status: patch Priority: normal|

Re: [GHC] #7526: Minor typo in error message

2013-01-02 Thread GHC
#7526: Minor typo in error message -+-- Reporter: parcs | Owner: Type: bug | Status: new Priority: normal| Component: Compiler

Re: [GHC] #7536: Panic with TypeFamilies with type synonym instances

2013-01-02 Thread GHC
#7536: Panic with TypeFamilies with type synonym instances ---+ Reporter: snowleopard | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7216: Compositional blocking on file descriptors

2013-01-02 Thread GHC
#7216: Compositional blocking on file descriptors ---+ Reporter: AndreasVoellmy| Owner: igloo Type: feature request | Status: patch Priority: normal|

Re: [GHC] #7526: Minor typo in error message

2013-01-02 Thread GHC
#7526: Minor typo in error message ---+ Reporter: parcs | Owner: Type: bug | Status: closed Priority: normal| Milestone:

Re: [GHC] #7536: Panic with TypeFamilies with type synonym instances

2013-01-02 Thread GHC
#7536: Panic with TypeFamilies with type synonym instances -+-- Reporter: snowleopard | Owner: Type: bug | Status: merge

Re: [GHC] #7533: References to very old GHC in the docs

2013-01-02 Thread GHC
#7533: References to very old GHC in the docs +--- Reporter: benmachine | Owner: Type: bug| Status: closed Priority: normal |

RE: Fundeps and type equality

2013-01-02 Thread Simon Peyton-Jones
As far as I understand, the reason that GHC does not construct such proofs is that it can't express them in its internal proof language (System FC). Iavor is quite right It seems to me that it should be fairly straight-forward to extend FC to support this sort of proof, but I have not been

Re: [GHC] #7543: Constraint synonym instances

2013-01-02 Thread GHC
#7543: Constraint synonym instances -+-- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #3282: How to start an emacs editor within ghci asynchronously with :edit filename.hs :set editor emacs don't go

2013-01-02 Thread GHC
#3282: How to start an emacs editor within ghci asynchronously with :edit filename.hs :set editor emacsdon't go -+-- Reporter: petersonx | Owner: Type: feature request |

Re: [GHC] #1407: Add the ability to :set -l{foo} in .ghci files

2013-01-02 Thread GHC
#1407: Add the ability to :set -l{foo} in .ghci files +--- Reporter: guest| Owner: Type: feature request | Status: new Priority: normal

Re: [GHC] #1407: Add the ability to :set -l{foo} in .ghci files

2013-01-02 Thread GHC
#1407: Add the ability to :set -l{foo} in .ghci files +--- Reporter: guest| Owner: igloo Type: feature request | Status: new Priority: normal

Re: [GHC] #7532: -ddump-splices output doesn't match generated code for data instances inside instances.

2013-01-02 Thread GHC
#7532: -ddump-splices output doesn't match generated code for data instances inside instances. -+-- Reporter: Aninhumer | Owner: Type: bug | Status: new

Re: [GHC] #7541: Unavoidable duplicate constraint warning

2013-01-02 Thread GHC
#7541: Unavoidable duplicate constraint warning --+- Reporter: blamario | Owner: Type: bug| Status: new

Re: [GHC] #7541: Unavoidable duplicate constraint warning

2013-01-02 Thread GHC
#7541: Unavoidable duplicate constraint warning +--- Reporter: blamario | Owner: Type: bug| Status: closed

Re: [GHC] #7532: -ddump-splices output doesn't match generated code for data instances inside instances.

2013-01-02 Thread GHC
#7532: -ddump-splices output doesn't match generated code for data instances inside instances. ---+ Reporter: Aninhumer | Owner: Type: bug | Status: closed

Re: [GHC] #7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion

2013-01-02 Thread GHC
#7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion -+-- Reporter: shachaf | Owner: Type: bug | Status:

[GHC] #7545: Type variable capture in InstanceSigs message

2013-01-02 Thread GHC
#7545: Type variable capture in InstanceSigs message -+-- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion

2013-01-02 Thread GHC
#7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion -+-- Reporter: shachaf | Owner: Type: bug | Status:

[GHC] #7546: Manual 6.2 doesn't match current output formatting

2013-01-02 Thread GHC
#7546: Manual 6.2 doesn't match current output formatting -+-- Reporter: chrisseaton | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion

2013-01-02 Thread GHC
#7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion -+-- Reporter: shachaf | Owner: Type: bug | Status:

Re: [GHC] #619: Port Hugs's Windows front end to GHCi.

2013-01-02 Thread GHC
#619: Port Hugs's Windows front end to GHCi. ---+ Reporter: simonmar | Owner: Type: task | Status: new Priority: normal

[GHC] #7547: Loop when printing External Core

2013-01-02 Thread GHC
#7547: Loop when printing External Core -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #7547: Loop when printing External Core

2013-01-02 Thread GHC
#7547: Loop when printing External Core -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #7546: Manual 6.2 doesn't match current output formatting

2013-01-02 Thread GHC
#7546: Manual 6.2 doesn't match current output formatting -+-- Reporter: chrisseaton | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #7510: Immediate seg-fault on 32-bit windows build

2013-01-02 Thread GHC
#7510: Immediate seg-fault on 32-bit windows build -+-- Reporter: simonpj | Owner: simonmar Type: bug | Status: new Priority: highest |

Re: [GHC] #7545: Type variable capture in InstanceSigs message

2013-01-02 Thread GHC
#7545: Type variable capture in InstanceSigs message -+-- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #7258: Compiling DynFlags is jolly slow

2013-01-02 Thread GHC
#7258: Compiling DynFlags is jolly slow -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #7360: Case-of-identical-alts optimisation fails abjectly

2013-01-02 Thread GHC
#7360: Case-of-identical-alts optimisation fails abjectly -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7360: Case-of-identical-alts optimisation fails abjectly

2013-01-02 Thread GHC
#7360: Case-of-identical-alts optimisation fails abjectly -+-- Reporter: simonpj | Owner: Type: bug | Status: closed

Re: [GHC] #7546: Manual 6.2 doesn't match current output formatting

2013-01-02 Thread GHC
#7546: Manual 6.2 doesn't match current output formatting -+-- Reporter: chrisseaton | Owner: Type: bug | Status: merge Priority: normal

Re: [GHC] #7547: Loop when printing External Core

2013-01-02 Thread GHC
#7547: Loop when printing External Core -+-- Reporter: simonpj | Owner: Type: bug | Status: merge Priority: normal| Milestone:

Re: [GHC] #7545: Type variable capture in InstanceSigs message

2013-01-02 Thread GHC
#7545: Type variable capture in InstanceSigs message -+-- Reporter: Feuerbach | Owner: Type: bug | Status: merge Priority:

Re: [GHC] #7519: CLK_TCK is not always a constant

2013-01-02 Thread GHC
#7519: CLK_TCK is not always a constant -+-- Reporter: singpolyma| Owner: Type: bug | Status: patch Priority: normal|

Re: [GHC] #7539: Hard ghc api crash when calling runStmt on code which has not been compiled

2013-01-02 Thread GHC
#7539: Hard ghc api crash when calling runStmt on code which has not been compiled -+-- Reporter: edsko | Owner: Type: bug | Status: new

Re: [GHC] #7510: Immediate seg-fault on 32-bit windows build

2013-01-02 Thread GHC
#7510: Immediate seg-fault on 32-bit windows build -+-- Reporter: simonpj | Owner: simonmar Type: bug | Status: new Priority: highest |

Re: [GHC] #7519: CLK_TCK is not always a constant

2013-01-02 Thread GHC
#7519: CLK_TCK is not always a constant -+-- Reporter: singpolyma| Owner: Type: bug | Status: patch Priority: normal|

Re: [GHC] #7542: GHC doesn't optimize (strict) composition with id

2013-01-02 Thread GHC
#7542: GHC doesn't optimize (strict) composition with id -+-- Reporter: shachaf | Owner: Type: bug | Status: infoneeded Priority:

[GHC] #7548: GHC API dependency analysis is broken

2013-01-02 Thread GHC
#7548: GHC API dependency analysis is broken +--- Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Component: GHC

RE: DoCon and GHC

2013-01-02 Thread Simon Peyton-Jones
Serge That's odd. I've tried with both 7.6 and HEAD, and both fail on T_cubeext thus: T_cubeext.hs:102:10: Overlapping instances for LinSolvRing (UPol k) arising from a use of `upEucRing' Matching instances: instance [overlap ok] EuclideanRing a = LinSolvRing (UPol a)

Re: [GHC] #7510: Immediate seg-fault on 32-bit windows build

2013-01-02 Thread GHC
#7510: Immediate seg-fault on 32-bit windows build -+-- Reporter: simonpj | Owner: simonmar Type: bug | Status: new Priority: highest |

Re: [GHC] #7548: GHC API dependency analysis is broken

2013-01-02 Thread GHC
#7548: GHC API dependency analysis is broken +--- Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1

Re: [GHC] #7510: Immediate seg-fault on 32-bit windows build

2013-01-02 Thread GHC
#7510: Immediate seg-fault on 32-bit windows build -+-- Reporter: simonpj | Owner: simonmar Type: bug | Status: new Priority: highest |

Re: [GHC] #7548: GHC API dependency analysis is broken

2013-01-02 Thread GHC
#7548: GHC API dependency analysis is broken --+- Reporter: MikolajKonarski | Owner: Type: bug | Status: closed Priority: highest | Milestone:

Re: [GHC] #7548: GHC API dependency analysis is broken

2013-01-02 Thread GHC
#7548: GHC API dependency analysis is broken --+- Reporter: MikolajKonarski | Owner: Type: bug | Status: closed Priority: highest | Milestone:

Re: [GHC] #7548: GHC API dependency analysis is broken

2013-01-02 Thread GHC
#7548: GHC API dependency analysis is broken --+- Reporter: MikolajKonarski | Owner: Type: bug | Status: closed Priority: highest | Milestone:

Re: [GHC] #7473: getModificationTime gives only second-level resolution

2013-01-02 Thread GHC
#7473: getModificationTime gives only second-level resolution --+- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #7548: GHC API dependency analysis is broken

2013-01-02 Thread GHC
#7548: GHC API dependency analysis is broken --+- Reporter: MikolajKonarski | Owner: Type: bug | Status: closed Priority: highest | Milestone:

Re: [GHC] #619: Port Hugs's Windows front end to GHCi.

2013-01-02 Thread GHC
#619: Port Hugs's Windows front end to GHCi. ---+ Reporter: simonmar | Owner: Type: task | Status: closed Priority: normal

Re: [GHC] #7475: Mysterious Data.Word Segmentation Fault in GHCi

2013-01-02 Thread GHC
#7475: Mysterious Data.Word Segmentation Fault in GHCi --+- Reporter: VKS| Owner: Type: bug| Status: new Priority: normal

Re: [GHC] #7043: 32-bit GHC ceiling of negative float SEGFAULT: 11

2013-01-02 Thread GHC
#7043: 32-bit GHC ceiling of negative float SEGFAULT: 11 --+- Reporter: DrGodCarl | Owner: igloo Type: bug| Status: new

Re: [GHC] #2431: Allow empty case analysis

2013-01-02 Thread GHC
#2431: Allow empty case analysis +--- Reporter: RalfHinze| Owner: Type: feature request | Status: new Priority: low | Milestone:

[GHC] #7549: Deriving Bug?

2013-01-02 Thread GHC
#7549: Deriving Bug? -+-- Reporter: davorak | Owner: Type: bug | Status: new Priority: normal| Component: Compiler

Re: [GHC] #7549: Deriving Bug?

2013-01-02 Thread GHC
#7549: Deriving Bug? -+-- Reporter: davorak |Owner: Type: bug | Status: closed Priority: normal|Component: Compiler

[GHC] #7550: incorrect bang patterns rejected with report a ghc bug

2013-01-02 Thread GHC
#7550: incorrect bang patterns rejected with report a ghc bug --+- Reporter: aavogt | Owner: Type: bug| Status: new

Re: [GHC] #7550: incorrect bang patterns rejected with report a ghc bug

2013-01-02 Thread GHC
#7550: incorrect bang patterns rejected with report a ghc bug -+-- Reporter: aavogt|Owner: Type: bug | Status: closed

Re: [GHC] #7490: ghc-stage1 panic when building QNXNTO cross-compiler

2013-01-02 Thread GHC
#7490: ghc-stage1 panic when building QNXNTO cross-compiler +--- Reporter: singpolyma | Owner: Type: bug | Status: new Priority: normal |

Re: [GHC] #7490: ghc-stage1 panic when building a cross-compiler or cross-building a compiler (was: ghc-stage1 panic when building QNXNTO cross-compiler)

2013-01-02 Thread GHC
#7490: ghc-stage1 panic when building a cross-compiler or cross-building a compiler +--- Reporter: singpolyma | Owner: Type: bug | Status: new