#7544: GHC downloads are unsigned
--+-
Reporter: afcowie| Owner:
Type: feature request| Status: new
Priority: normal | Component: Build System
#7216: Compositional blocking on file descriptors
---+
Reporter: AndreasVoellmy| Owner: igloo
Type: feature request | Status: patch
Priority: normal|
#7526: Minor typo in error message
-+--
Reporter: parcs | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler
#7536: Panic with TypeFamilies with type synonym instances
---+
Reporter: snowleopard | Owner:
Type: bug | Status: new
Priority: normal
#7216: Compositional blocking on file descriptors
---+
Reporter: AndreasVoellmy| Owner: igloo
Type: feature request | Status: patch
Priority: normal|
#7526: Minor typo in error message
---+
Reporter: parcs | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
#7536: Panic with TypeFamilies with type synonym instances
-+--
Reporter: snowleopard | Owner:
Type: bug | Status: merge
#7533: References to very old GHC in the docs
+---
Reporter: benmachine | Owner:
Type: bug| Status: closed
Priority: normal |
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
#7543: Constraint synonym instances
-+--
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#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 |
#1407: Add the ability to :set -l{foo} in .ghci files
+---
Reporter: guest| Owner:
Type: feature request | Status: new
Priority: normal
#1407: Add the ability to :set -l{foo} in .ghci files
+---
Reporter: guest| Owner: igloo
Type: feature request | Status: new
Priority: normal
#7532: -ddump-splices output doesn't match generated code for data instances
inside instances.
-+--
Reporter: Aninhumer | Owner:
Type: bug | Status: new
#7541: Unavoidable duplicate constraint warning
--+-
Reporter: blamario | Owner:
Type: bug| Status: new
#7541: Unavoidable duplicate constraint warning
+---
Reporter: blamario | Owner:
Type: bug| Status: closed
#7532: -ddump-splices output doesn't match generated code for data instances
inside instances.
---+
Reporter: Aninhumer | Owner:
Type: bug | Status: closed
#7436: Derived Foldable and Traversable instances become extremely inefficient
due
to eta-expansion
-+--
Reporter: shachaf | Owner:
Type: bug | Status:
#7545: Type variable capture in InstanceSigs message
-+--
Reporter: Feuerbach | Owner:
Type: bug | Status: new
Priority: normal|
#7436: Derived Foldable and Traversable instances become extremely inefficient
due
to eta-expansion
-+--
Reporter: shachaf | Owner:
Type: bug | Status:
#7546: Manual 6.2 doesn't match current output formatting
-+--
Reporter: chrisseaton | Owner:
Type: bug | Status: new
Priority: normal|
#7436: Derived Foldable and Traversable instances become extremely inefficient
due
to eta-expansion
-+--
Reporter: shachaf | Owner:
Type: bug | Status:
#619: Port Hugs's Windows front end to GHCi.
---+
Reporter: simonmar | Owner:
Type: task | Status: new
Priority: normal
#7547: Loop when printing External Core
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#7547: Loop when printing External Core
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#7546: Manual 6.2 doesn't match current output formatting
-+--
Reporter: chrisseaton | Owner:
Type: bug | Status: new
Priority: normal|
#7510: Immediate seg-fault on 32-bit windows build
-+--
Reporter: simonpj | Owner: simonmar
Type: bug | Status: new
Priority: highest |
#7545: Type variable capture in InstanceSigs message
-+--
Reporter: Feuerbach | Owner:
Type: bug | Status: new
Priority: normal|
#7258: Compiling DynFlags is jolly slow
-+--
Reporter: simonpj | Owner: simonpj
Type: bug | Status: new
Priority: normal| Milestone:
#7360: Case-of-identical-alts optimisation fails abjectly
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal
#7360: Case-of-identical-alts optimisation fails abjectly
-+--
Reporter: simonpj | Owner:
Type: bug | Status: closed
#7546: Manual 6.2 doesn't match current output formatting
-+--
Reporter: chrisseaton | Owner:
Type: bug | Status: merge
Priority: normal
#7547: Loop when printing External Core
-+--
Reporter: simonpj | Owner:
Type: bug | Status: merge
Priority: normal| Milestone:
#7545: Type variable capture in InstanceSigs message
-+--
Reporter: Feuerbach | Owner:
Type: bug | Status: merge
Priority:
#7519: CLK_TCK is not always a constant
-+--
Reporter: singpolyma| Owner:
Type: bug | Status: patch
Priority: normal|
#7539: Hard ghc api crash when calling runStmt on code which has not been
compiled
-+--
Reporter: edsko | Owner:
Type: bug | Status: new
#7510: Immediate seg-fault on 32-bit windows build
-+--
Reporter: simonpj | Owner: simonmar
Type: bug | Status: new
Priority: highest |
#7519: CLK_TCK is not always a constant
-+--
Reporter: singpolyma| Owner:
Type: bug | Status: patch
Priority: normal|
#7542: GHC doesn't optimize (strict) composition with id
-+--
Reporter: shachaf | Owner:
Type: bug | Status: infoneeded
Priority:
#7548: GHC API dependency analysis is broken
+---
Reporter: MikolajKonarski | Owner:
Type: bug | Status: new
Priority: normal | Component: GHC
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)
#7510: Immediate seg-fault on 32-bit windows build
-+--
Reporter: simonpj | Owner: simonmar
Type: bug | Status: new
Priority: highest |
#7548: GHC API dependency analysis is broken
+---
Reporter: MikolajKonarski | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 7.8.1
#7510: Immediate seg-fault on 32-bit windows build
-+--
Reporter: simonpj | Owner: simonmar
Type: bug | Status: new
Priority: highest |
#7548: GHC API dependency analysis is broken
--+-
Reporter: MikolajKonarski | Owner:
Type: bug | Status: closed
Priority: highest | Milestone:
#7548: GHC API dependency analysis is broken
--+-
Reporter: MikolajKonarski | Owner:
Type: bug | Status: closed
Priority: highest | Milestone:
#7548: GHC API dependency analysis is broken
--+-
Reporter: MikolajKonarski | Owner:
Type: bug | Status: closed
Priority: highest | Milestone:
#7473: getModificationTime gives only second-level resolution
--+-
Reporter: duncan | Owner:
Type: bug | Status: new
Priority: normal
#7548: GHC API dependency analysis is broken
--+-
Reporter: MikolajKonarski | Owner:
Type: bug | Status: closed
Priority: highest | Milestone:
#619: Port Hugs's Windows front end to GHCi.
---+
Reporter: simonmar | Owner:
Type: task | Status: closed
Priority: normal
#7475: Mysterious Data.Word Segmentation Fault in GHCi
--+-
Reporter: VKS| Owner:
Type: bug| Status: new
Priority: normal
#7043: 32-bit GHC ceiling of negative float SEGFAULT: 11
--+-
Reporter: DrGodCarl | Owner: igloo
Type: bug| Status: new
#2431: Allow empty case analysis
+---
Reporter: RalfHinze| Owner:
Type: feature request | Status: new
Priority: low | Milestone:
#7549: Deriving Bug?
-+--
Reporter: davorak | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler
#7549: Deriving Bug?
-+--
Reporter: davorak |Owner:
Type: bug | Status: closed
Priority: normal|Component: Compiler
#7550: incorrect bang patterns rejected with report a ghc bug
--+-
Reporter: aavogt | Owner:
Type: bug| Status: new
#7550: incorrect bang patterns rejected with report a ghc bug
-+--
Reporter: aavogt|Owner:
Type: bug | Status: closed
#7490: ghc-stage1 panic when building QNXNTO cross-compiler
+---
Reporter: singpolyma | Owner:
Type: bug | Status: new
Priority: normal |
#7490: ghc-stage1 panic when building a cross-compiler or cross-building a
compiler
+---
Reporter: singpolyma | Owner:
Type: bug | Status: new
59 matches
Mail list logo