| #5590 |
"guarded instances": instance selection can add extra parameters to the class
|
new
|
feature request
|
normal
|
7.6.2
|
Compiler (Type checker)
|
| #6040 |
Adding a type signature changes heap allocation into stack allocation without changing the actual type
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #6089 |
Allow declaration splices inside declaration brackets
|
new
|
feature request
|
normal
|
7.8.1
|
Template Haskell
|
| #5809 |
Arity analysis could be better
|
new
|
bug
|
normal
|
7.6.2
|
Compiler
|
| #2915 |
Arity is smaller than need be
|
new
|
bug
|
lowest
|
7.6.2
|
Compiler
|
| #2600 |
Bind type variables in RULES
|
new
|
feature request
|
lowest
|
7.6.2
|
Compiler
|
| #7503 |
Bug with PolyKinds, type synonyms & GADTs
|
new
|
bug
|
normal
|
7.8.1
|
Compiler (Type checker)
|
| #5075 |
CPR optimisation for sum types if only one constructor is used
|
new
|
feature request
|
normal
|
7.6.2
|
Compiler
|
| #5344 |
CSE should look through coercions
|
new
|
feature request
|
normal
|
_|_
|
Compiler
|
| #7258 |
Compiling DynFlags is jolly slow
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #5763 |
Confusing error message
|
new
|
bug
|
high
|
7.6.2
|
Compiler
|
| #4185 |
Deriving higher-arity instances for newtype family instances fails
|
new
|
bug
|
low
|
7.6.2
|
Compiler
|
| #2940 |
Do CSE after CorePrep
|
new
|
bug
|
lowest
|
7.6.2
|
Compiler
|
| #7259 |
Eta expansion of products in System FC
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #7068 |
Extensive Memory usage (regression)
|
new
|
bug
|
high
|
7.8.1
|
Compiler
|
| #6070 |
Fun with the demand analyser
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #345 |
GADT - fundep interaction
|
new
|
bug
|
low
|
_|_
|
Compiler (Type checker)
|
| #7542 |
GHC doesn't optimize (strict) composition with id
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #6022 |
GHC infers over-general types
|
new
|
bug
|
high
|
7.8.1
|
Compiler
|
| #5722 |
GHC inlines class method forever
|
new
|
bug
|
normal
|
_|_
|
Compiler
|
| #5539 |
GHC panic - Simplifier ticks exhausted
|
new
|
bug
|
high
|
7.6.2
|
Compiler
|
| #6047 |
GHC retains unnecessary binding
|
new
|
bug
|
normal
|
7.6.2
|
Compiler
|
| #7241 |
GHC-7.6.1 panics on template haskell code
|
new
|
bug
|
normal
|
7.8.1
|
Template Haskell
|
| #6147 |
GeneralizedNewtypeDeriving should fail with data families
|
new
|
bug
|
high
|
7.8.1
|
Compiler (Type checker)
|
| #6056 |
INLINABLE pragma prevents worker-wrapper to happen.
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #7206 |
Implement cheap build
|
new
|
bug
|
normal
|
_|_
|
Compiler
|
| #1330 |
Impredicativity bug: Church2 test gives a rather confusing error with the HEAD
|
new
|
bug
|
lowest
|
7.6.2
|
Compiler (Type checker)
|
| #1885 |
Improve CPR analysis
|
new
|
feature request
|
lowest
|
7.6.2
|
Compiler
|
| #5224 |
Improve consistency checking for family instances
|
new
|
bug
|
low
|
7.6.2
|
Compiler
|
| #932 |
Improve inlining
|
new
|
task
|
normal
|
_|_
|
Compiler
|
| #3927 |
Incomplete/overlapped pattern warnings + GADTs = inadequate
|
new
|
bug
|
high
|
7.8.1
|
Compiler
|
| #2256 |
Incompleteness of type inference: must quantify over implication constraints
|
new
|
bug
|
lowest
|
7.6.2
|
Compiler
|
| #6018 |
Injective type families
|
new
|
feature request
|
normal
|
7.8.1
|
Compiler
|
| #7109 |
Inlining depends on datatype size, even with INLINE pragmas
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #7141 |
Inlining the single method of a class can shadow rules
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #7643 |
Kind application error
|
new
|
bug
|
normal
|
7.8.1
|
Compiler (Type checker)
|
| #5945 |
Lambda lifting
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #6092 |
Liberate case not happening
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #4281 |
Make impredicativity work properly
|
new
|
task
|
low
|
7.6.2
|
Compiler
|
| #7619 |
Make worker-wrapper unbox data families
|
new
|
feature request
|
normal
|
7.8.1
|
Compiler
|
| #1216 |
Missed opportunity for let-no-esape
|
new
|
bug
|
normal
|
7.6.2
|
Compiler
|
| #2439 |
Missed optimisation with dictionaries and loops
|
new
|
bug
|
lowest
|
7.6.2
|
Compiler
|
| #1496 |
Newtypes and type families combine to produce inconsistent FC(X) axiom sets
|
new
|
bug
|
normal
|
7.6.2
|
Compiler (Type checker)
|
| #7596 |
Opportunity to improve CSE
|
new
|
bug
|
normal
|
7.8.1
|
Compiler
|
| #5954 |
Performance regression 7.0 -> 7.2 (still in 7.4)
|
new
|
bug
|
high
|
7.6.2
|
Compiler
|
|
(more results for this group on next page)
|