| #5273 |
error and undefined should print a location
|
new
|
|
low
|
7.6.2
|
Compiler
|
| #5288 |
Less noisy version of -fwarn-name-shadowing
|
new
|
|
low
|
7.6.2
|
Compiler
|
| #5308 |
Generalize -msse2 command line flag to -msse<version number>
|
new
|
|
low
|
7.6.2
|
Compiler
|
| #5324 |
Locally-scoped RULES
|
new
|
|
normal
|
_|_
|
Compiler
|
| #5344 |
CSE should look through coercions
|
new
|
simonpj
|
normal
|
_|_
|
Compiler
|
| #5392 |
Warnings about impossible MPTCs would be nice
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5416 |
Local modules and Template Haskell declaration splices
|
new
|
|
normal
|
_|_
|
Compiler
|
| #5429 |
Docase notation as GHC extension
|
new
|
tomasp
|
normal
|
7.6.2
|
Compiler
|
| #5462 |
Deriving clause for arbitrary classes
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5556 |
Support pin-changing on ByteArray#s
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5619 |
Shorter qualified import statements
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5647 |
CLI option to silence "Loading package foo ... linking ... done" output
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5813 |
Offer a compiler warning for failable pattern matches
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5823 |
FFI and CAPI needs {-# INCLUDE #-} back?
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5834 |
Allow both INLINE and INLINABLE for the same function
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5835 |
Make better use of known dictionaries
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5925 |
Add inline version of newArray#
|
new
|
|
normal
|
7.6.2
|
Compiler
|
| #5941 |
Add compilation stage plugins
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #5972 |
option to suppress (Monomorphic) record selector functions
|
new
|
igloo
|
normal
|
7.8.1
|
Compiler
|
| #6018 |
Injective type families
|
new
|
simonpj
|
normal
|
7.8.1
|
Compiler
|
| #6030 |
Typeclass constraint should pick the OverloadedString type.
|
new
|
|
normal
|
_|_
|
Compiler
|
| #6135 |
Unboxed Booleans
|
new
|
jstolarek
|
normal
|
7.8.1
|
Compiler
|
| #7015 |
Add support for 'static'
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7048 |
Add the ability to statically define a `FunPtr` to a haskell function
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7081 |
arrow analogs of lambda case and multi-way if
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7169 |
Warning for incomplete record field label used as function
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7204 |
Use a class to control FFI marshalling
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7266 |
Allow fractional-looking integer literals
|
new
|
|
high
|
7.8.1
|
Compiler
|
| #7275 |
Give more detailed information about PINNED data in a heap profile
|
new
|
igloo
|
normal
|
7.8.1
|
Compiler
|
| #7283 |
Specialise INLINE functions
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7285 |
mkWeakMVar is non-compositional
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7330 |
Data Parallel Haskell (DPH) isn't usable yet.
|
new
|
benl
|
normal
|
7.8.1
|
Compiler
|
| #7335 |
Need for extra warning pragma for accidental pattern matching in do blocks
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7337 |
GHC does not generate great code for bit-level rotation
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7346 |
Allow the use of `deriving` for GHC generics
|
new
|
dreixel
|
normal
|
7.8.1
|
Compiler
|
| #7395 |
DefaultSignatures conflict with default implementations
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7413 |
runghc (runhaskell) should be able to reload code on editing
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7414 |
plugins always trigger recompilation
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7459 |
deriving Generic does not work with TypeLits
|
new
|
dreixel
|
normal
|
7.8.1
|
Compiler
|
| #7492 |
Generic1 deriving: Can we replace Rec1 f with f :.: Par1?
|
new
|
dreixel
|
normal
|
7.8.1
|
Compiler
|
| #7495 |
Rebindable list syntax?
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7509 |
Changing the second prompt. :{ modules| No setting available to change.
|
new
|
igloo
|
normal
|
7.8.1
|
Compiler
|
| #7619 |
Make worker-wrapper unbox data families
|
new
|
simonpj
|
normal
|
7.8.1
|
Compiler
|
| #7633 |
Checkable "minimal complete definitions"
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7635 |
SafeHaskell implying other options
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7637 |
split-objs not supported for ARM
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7647 |
UNPACK polymorphic fields
|
new
|
simonpj
|
normal
|
7.8.1
|
Compiler
|
| #7676 |
Unify patterns and function bindings
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7724 |
cross-compile to iOS
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7741 |
Add SIMD support to x86/x86_64 NCG
|
new
|
|
normal
|
7.8.1
|
Compiler
|
| #7835 |
ghc --make: allow passign .cmm, .c and .hs files in one command line
|
new
|
|
normal
|
--
|
Compiler
|
| #7845 |
RebindableSyntax should allow rebinding tuples and lists
|
new
|
|
normal
|
--
|
Compiler
|
| #7881 |
Warning for pointless ranges like [5..2]
|
new
|
|
normal
|
|
Compiler
|
| #7883 |
enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?
|
new
|
carter
|
normal
|
--
|
Compiler
|
| #7895 |
Warning for literal overflow
|
new
|
|
normal
|
--
|
Compiler
|
| #7922 |
adding direct *.c -> object code (*.o/so/dylib) support to compilation driver
|
new
|
|
normal
|
|
Compiler
|
| #3052 |
ghc FFI doesn't support thiscall
|
new
|
|
low
|
7.6.2
|
Compiler (FFI)
|
| #3541 |
Allow local foreign imports
|
new
|
|
normal
|
_|_
|
Compiler (FFI)
|
| #4340 |
Add alignment to hsc2hs template
|
new
|
|
low
|
7.6.2
|
Compiler (FFI)
|
| #7300 |
Allow CAFs kept reachable by FFI to be forcibly made unreachable for GC
|
new
|
|
high
|
7.8.1
|
Compiler (FFI)
|
| #4210 |
LLVM: Dynamic Library Support
|
new
|
dterei
|
low
|
7.6.2
|
Compiler (LLVM)
|
| #4213 |
LLVM: Add support for TNTC to LLVM compiler suite
|
new
|
dterei
|
low
|
7.6.2
|
Compiler (LLVM)
|
| #3557 |
CPU Vector instructions in GHC.Prim
|
new
|
|
normal
|
_|_
|
Compiler (NCG)
|
| #1318 |
add warning for prefix negate operator and flag to replace it with negative numeric literals
|
new
|
|
normal
|
_|_
|
Compiler (Parser)
|
| #2708 |
Error message should suggest UnboxedTuples language extension
|
new
|
|
low
|
_|_
|
Compiler (Parser)
|
| #3645 |
Layout and pragmas
|
new
|
|
low
|
7.6.2
|
Compiler (Parser)
|
| #3647 |
unify handling and error messages for -X vs. {-#LANGUAGE ...#-} pragmas/extensions
|
new
|
igloo
|
normal
|
7.8.1
|
Compiler (Parser)
|
| #4180 |
do not consider associativity for unary minus for fixity resolution
|
new
|
|
low
|
7.6.2
|
Compiler (Parser)
|
| #4959 |
Warning about variables with leading underscore that are used anyway
|
new
|
|
low
|
7.6.2
|
Compiler (Parser)
|
| #5108 |
Allow unicode sub/superscript symbols in both identifiers and operators
|
new
|
|
normal
|
7.6.2
|
Compiler (Parser)
|
| #5239 |
Em-dash for "--" with UnicodeSyntax.
|
new
|
|
normal
|
7.6.2
|
Compiler (Parser)
|
| #5542 |
also parse class/instance declarations as "HEAD <= CONTEXT where"
|
new
|
|
normal
|
7.6.2
|
Compiler (Parser)
|
| #393 |
functions without implementations
|
new
|
simonpj
|
normal
|
_|_
|
Compiler (Type checker)
|
| #472 |
Supertyping of classes
|
new
|
|
normal
|
_|_
|
Compiler (Type checker)
|
| #1404 |
allow more type signatures
|
new
|
|
normal
|
_|_
|
Compiler (Type checker)
|
| #1451 |
Provide way to show the origin of a constraint
|
new
|
|
normal
|
_|_
|
Compiler (Type checker)
|
| #1894 |
Add a total order on type constructors
|
new
|
|
lowest
|
7.6.2
|
Compiler (Type checker)
|
| #3545 |
As-patterns for type signatures
|
new
|
--
|
normal
|
_|_
|
Compiler (Type checker)
|
| #4020 |
Please consider adding support for local type synonyms
|
new
|
|
low
|
7.6.2
|
Compiler (Type checker)
|
| #4259 |
Relax restrictions on type family instance overlap
|
new
|
|
normal
|
7.8.1
|
Compiler (Type checker)
|
| #4385 |
Type-level natural numbers
|
new
|
diatchki
|
normal
|
7.6.2
|
Compiler (Type checker)
|
| #4479 |
Add Type Directed Name Resolution
|
new
|
|
low
|
7.6.2
|
Compiler (Type checker)
|
| #4894 |
Missing improvement for fun. deps.
|
new
|
|
normal
|
_|_
|
Compiler (Type checker)
|
| #4921 |
report ambiguous type variables more consistently
|
new
|
|
low
|
7.6.2
|
Compiler (Type checker)
|
| #5248 |
Infer type context in a type signature
|
new
|
|
low
|
7.6.2
|
Compiler (Type checker)
|
| #5296 |
Add explicit type applications
|
new
|
|
low
|
7.6.2
|
Compiler (Type checker)
|
| #5590 |
"guarded instances": instance selection can add extra parameters to the class
|
new
|
simonpj
|
normal
|
7.6.2
|
Compiler (Type checker)
|
| #5610 |
Improve "Unacceptable argument type in foreign declaration" error message
|
new
|
|
high
|
7.4.1
|
Compiler (Type checker)
|
| #5910 |
Holes with other constraints
|
new
|
|
high
|
7.8.1
|
Compiler (Type checker)
|
| #5927 |
A type-level "implies" constraint on Constraints
|
new
|
|
normal
|
7.6.2
|
Compiler (Type checker)
|
| #6024 |
Allow defining kinds alone, without a datatype
|
new
|
|
normal
|
7.8.1
|
Compiler (Type checker)
|
| #7140 |
Allow type signature in export list
|
new
|
|
normal
|
7.8.1
|
Compiler (Type checker)
|
| #7494 |
Allow compatible type synonyms to be the return type of a GADT data constructor.
|
new
|
|
normal
|
7.8.1
|
Compiler (Type checker)
|
| #7855 |
Use optimizer for more information about incomplete pattern matches
|
new
|
|
normal
|
|
Compiler (Type checker)
|
| #7870 |
Compilation errors break the complexity encapsulation on DSLs, impairs success in industry
|
new
|
|
normal
|
--
|
Compiler (Type checker)
|
| #3577 |
Complete support for Data Parallel Haskell
|
new
|
rl
|
normal
|
_|_
|
Data Parallel Haskell
|
| #1574 |
Broken link testing
|
new
|
|
lowest
|
7.6.2
|
Documentation
|
| #3769 |
Add manpages for programs installed alongside ghc
|
new
|
|
normal
|
_|_
|
Documentation
|
| #3870 |
Avoid Haddock-links to the Prelude
|
new
|
|
lowest
|
7.6.2
|
Documentation
|
| #7181 |
Add documentation on heap-profile file format.
|
new
|
|
normal
|
7.8.1
|
Documentation
|