{3} Feature requests by priority (610 matches)

View all feature requests, in order of priority

Results (101 - 200 of 610)

1 2 3 4 5 6 7
Ticket Summary Component Version Priority Severity Milestone Owner Status Created
#9731 Inductive type definitions on Nat Compiler (Type checker) 7.8.3 normal new Oct 27, 2014
#9756 Warn about unnecessary unsafeCoerce Compiler (Type checker) 7.9 normal new Nov 3, 2014
#9784 Improve error message for misplaced quote inside promoted qualified type Compiler (Parser) 7.8.3 normal new Nov 8, 2014
#9789 Make GHC accept .format+lhs as extension for literate haskell files Compiler 7.9 normal merijn new Nov 11, 2014
#9790 Produce coercion rules for derived Functor instances Compiler 7.9 normal new Nov 11, 2014
#9819 Create typesafe method of obtaining dictionary types from class definitions, and constraint objects from dictionary types Compiler normal new Nov 21, 2014
#9835 Add bindings for marshaling to/from mpz_t libraries (other) 7.8.3 normal new Nov 25, 2014
#9898 Wanted: higher-order type-level programming Compiler (Type checker) 7.8.3 normal new Dec 18, 2014
#9923 Offer copy-on-GC sliced arrays Runtime System 7.11 normal new Dec 24, 2014
#9931 Option to truncate Show output in ghci REPL GHCi 7.8.4 normal new Dec 27, 2014
#9938 GHC's link step needs to be told which packages to link Compiler 7.11 normal new Dec 29, 2014
#9948 Recommend class constraint instead of instance constraint Compiler 7.8.4 normal new Jan 1, 2015
#9974 Allow more general structural recursion without UndecidableInstances Compiler (Type checker) 7.11 normal new Jan 9, 2015
#9990 Top level module identifiers shadow imported identifiers Compiler normal new Jan 15, 2015
#9993 PostfixOperators doesn't work for types Compiler 7.8.4 normal new Jan 16, 2015
#9995 :info enhancements GHCi 7.8.4 normal new Jan 16, 2015
#10016 UNPACK support for existentials Compiler 7.8.4 normal new Jan 23, 2015
#10049 Lower level memcpy primop Compiler 7.8.4 normal new Jan 30, 2015
#10064 Add support for "foo"## literals to MagicHash Compiler 7.8.4 normal new Feb 4, 2015
#10073 Idris REPL is pretty and we can too GHCi 7.8.4 normal new Feb 9, 2015
#10076 Don't suppress warnings in the presence of errors Compiler 7.11 normal new Feb 10, 2015
#10084 Data.List should have a takeLastN function libraries/base 7.8.4 normal new Feb 12, 2015
#10087 DefaultSignatures: error message mentions internal name Compiler (Type checker) 7.8.4 normal new Feb 14, 2015
#10089 feature: warn about unused data definitions (with typeclass instances) Compiler 7.8.4 normal new Feb 15, 2015
#10116 Closed type families: Warn if it doesn't handle all cases Compiler 7.8.4 normal new Feb 25, 2015
#10163 Export typeRepKinds in Data.Typeable libraries/base 7.10.1-rc3 normal new Mar 17, 2015
#10225 GHC does not specialize based on type equality Compiler 7.10.1 normal infoneeded Apr 1, 2015
#10235 Get profiling info without stopping program Compiler 7.10.1 normal new Apr 3, 2015
#10323 Add Android and iOS Operating Systems in Trac Trac & Git normal hvr new Apr 18, 2015
#10327 Devise workaround for how infinite types prevent closed type family reduction Compiler 7.10.1 normal new Apr 20, 2015
#10350 Should be able to specify path for eventlog output. Runtime System 7.10.1 normal simonmar new Apr 24, 2015
#10453 \case should trigger auto-multiline mode in ghci Compiler 7.10.1 normal new May 27, 2015
#10465 Make listArray non-strict in structure of argument list Core Libraries 7.10.1 normal new May 30, 2015
#10478 Shorter import syntax Compiler 7.10.1 normal new Jun 3, 2015
#10505 more specific types in the generated *_stub.h files Compiler (FFI) 7.6.1 normal new Jun 10, 2015
#10514 Generic for existential types Core Libraries 7.10.1 normal new Jun 12, 2015
#10606 avoid redundant stores to the stack when examining already-tagged data Compiler (CodeGen) 7.11 normal new Jul 5, 2015
#10607 Auto derive from top to bottom Compiler 7.11 normal new Jul 6, 2015
#10613 Mechanism for checking that we only enter single-entry thunks once Compiler 7.10.1 normal new Jul 8, 2015
#10614 Show constraints in ``Found hole...'' Compiler 7.10.1 normal new Jul 8, 2015
#10621 Handle annotations in hsig/boot files GHC API 7.10.1 normal spinda new Jul 8, 2015
#10635 -fwarn-redundant-constraints should not be part of -Wall Compiler (Type checker) 7.11 normal new Jul 13, 2015
#10652 Better cache performance in Array# Compiler 7.10.1 normal new Jul 17, 2015
#10789 Notify user when a kind mismatch holds up a type family reduction Compiler 7.10.2 normal 8.0.2 new Aug 24, 2015
#10963 Beginner-targeted language extension Compiler 7.10.2 normal 8.0.2 merge Oct 13, 2015
#10986 GHC should delete all temporary files it creates in /tmp Compiler 7.11 normal 8.0.2 new Oct 19, 2015
#11072 Runtime linker doesn't search for DLLs referenced in import libraries on Windows Compiler (Linking) 7.10.2-rc2 normal 8.0.2 Phyx- merge Nov 8, 2015
#11975 New GHCi command to print out the type of an expression without instantiating GHCi 8.1 normal 8.0.2 merge Apr 23, 2016
#3427 control what sort of entity a deprecated pragma applies to Compiler 6.10.4 normal normal 8.2.1 thoughtpolice new Aug 12, 2009
#4114 Add a flag to remove/delete intermediate files generated by GHC Compiler 6.10.4 normal 8.2.1 kaiha patch Jun 2, 2010
#4879 Deprecate exports Compiler 7.0.1 normal 8.2.1 new Jan 5, 2011
#5835 Make better use of known dictionaries Compiler 7.5 normal 8.2.1 new Jan 30, 2012
#7860 Add more bit fiddling functions to 'integer-gmp' Core Libraries 7.6.3 normal 8.2.1 hvr new Apr 23, 2013
#8165 Use GeneralizedNewtypeDeriving to automatically create associated type families Compiler (Type checker) 7.6.3 normal 8.2.1 goldfire new Aug 23, 2013
#8299 Add richer data model address arithmetic: AddrDiff and AddrInt (ie d Int_ptr_diff and Int_ptr_size) Compiler 7.6.3 normal 8.2.1 new Sep 14, 2013
#8634 Relax functional dependency coherence check ("liberal coverage condition") Compiler (Type checker) 7.7 normal 8.2.1 new Dec 27, 2013
#9244 Compiler could warn about type variable shadowing, and hint about ScopedTypeVariables Compiler 7.6.3 normal 8.2.1 new Jun 27, 2014
#9601 Make the rewrite rule system more powerful Compiler 7.8.2 normal 8.2.1 new Sep 17, 2014
#9793 Some as-patterns could be accepted in pattern synonyms Compiler (Type checker) 7.8.3 normal 8.2.1 patch Nov 11, 2014
#10343 Make Typeable track kind information better Compiler 7.10.1 normal 8.2.1 goldfire new Apr 23, 2015
#10383 AArch64: get GHC Calling convention working Compiler 7.11 normal 8.2.1 erikd new May 5, 2015
#10431 EqualityConstraints extension? Compiler (Type checker) 7.11 normal 8.2.1 new May 18, 2015
#10803 New SignatureSections extension Compiler 7.10.2 normal 8.2.1 hvr patch Aug 28, 2015
#10915 Statistical profiling support in the RTS Compiler 7.10.2 normal 8.2.1 bgamari new Sep 26, 2015
#10972 Add a :binfo (beginner info) GHCi command Compiler 7.10.2 normal 8.2.1 kanetw new Oct 15, 2015
#11011 Add type-indexed type representations (`TypeRep a`) Compiler normal 8.2.1 patch Oct 24, 2015
#11096 Builtin encoder/decoder should be used for Latin-1 Compiler 7.10.2 normal 8.2.1 hvr new Nov 15, 2015
#11143 Feature request: Add index/read/write primops with byte offset for ByteArray# Compiler 7.10.2 normal 8.2.1 new Nov 28, 2015
#11219 Implement fine-grained `-Werror=...` facility Compiler normal 8.2.1 quchen new Dec 14, 2015
#11243 Flag to not expand type families Compiler 7.10.2 normal 8.2.1 new Dec 17, 2015
#11457 Run type-checker plugins before GHC's solver Compiler (Type checker) 8.0.1-rc1 normal 8.2.1 new Jan 18, 2016
#11594 closed empty type families fully applied get reduced lazily when in a constraint tuple and fully applied Compiler (Type checker) 7.10.2 normal 8.2.1 new Feb 17, 2016
#11686 implicit call stacks should provide a way to get the calling function's name Compiler 7.10.3 normal 8.2.1 gridaphobe new Mar 7, 2016
#11714 Kind of (->) type constructor is overly constrained Compiler 8.1 normal 8.2.1 new Mar 16, 2016
#11736 Allow unsaturated uses of unlifted types in Core Compiler 8.1 normal 8.2.1 new Mar 21, 2016
#11765 Allow documentary type signatures Compiler (Type checker) 7.10.3 normal 8.2.1 new Mar 28, 2016
#11817 Add proper support for weak symbols to the runtime linker Runtime System (Linker) 8.1 normal 8.2.1 new Apr 10, 2016
#11953 Export Word32#, Word64# on all architectures Compiler 7.10.3 normal 8.2.1 new Apr 19, 2016
#12356 StaticPointers support in GHCi Compiler 8.0.1 normal 8.2.1 new Jul 1, 2016
#12358 Read1/Read2 don't have methods defined in terms of ReadPrec libraries/base 8.0.1 normal 8.2.1 patch Jul 2, 2016
#12369 data families shouldn't be required to have return kind *, data instances should Compiler (Type checker) 8.0.1 normal 8.2.1 new Jul 6, 2016
#12389 Limit duplicate export warnings for datatypes Compiler 7.10.3 normal 8.2.1 new Jul 13, 2016
#12404 Document version availability for each language extension Documentation 8.0.1 normal 8.2.1 new Jul 16, 2016
#12426 Allow smart constructors their own types Compiler 8.0.1 normal 8.2.1 new Jul 23, 2016
#12428 Allow pattern synonyms to optionally carry coerceability Compiler 8.0.1 normal 8.2.1 new Jul 23, 2016
#393 functions without implementations Compiler (Type checker) None normal normal new May 26, 2005
#436 Declare large amounts of constant data Compiler None normal minor new Aug 11, 2005
#472 Supertyping of classes Compiler (Type checker) None normal minor new Oct 20, 2005
#728 switch to compacting collection when swapping occurs Runtime System 6.4.1 normal major new Mar 16, 2006
#750 Set -M, -H, -c and other memory-related values based on available virtual/physical memory Runtime System 6.4.1 normal normal new Apr 19, 2006
#881 Improve space profiling for references Profiling 6.4.2 normal normal new Aug 31, 2006
#1262 RecursiveDo in Template Haskell Template Haskell 6.6 normal normal mgsloan new Apr 3, 2007
#1273 would like to print partial application values when at a breakpoint GHCi 6.7 normal normal new Apr 12, 2007
#1318 add warning for prefix negate operator and flag to replace it with negative numeric literals Compiler (Parser) 6.6.1 normal normal new May 1, 2007
#1399 better support for developing threaded applications in ghci GHCi 6.6.1 normal normal new May 31, 2007
#1409 Allow recursively dependent modules transparently (without .hs-boot or anything) Compiler 6.10.2 normal normal new Jun 4, 2007
#1444 Template Haskell: add proper support for qualified names in non-splicing applications Template Haskell 6.6.1 normal normal new Jun 21, 2007
#1451 Provide way to show the origin of a constraint Compiler (Type checker) 6.6.1 normal normal new Jun 22, 2007
#1475 Adding imports and exports with Template Haskell Template Haskell 6.8.2 normal normal new Jul 1, 2007
#1532 Implicit parameters are not available in breakpoints GHCi 6.7 normal normal new Jul 13, 2007
1 2 3 4 5 6 7
Note: See TracReports for help on using and creating reports.