Issues · Glasgow Haskell Compiler / GHC

New issue

Warn about unused pattern variables in type families

#10982 · opened Oct 17, 2015 by Jan Stolarek 8.0.1 5 Pnormal Trac import feature request newcomer
- CLOSED
- 7
updated Aug 27, 2020
:ctags and :etags command can receive haskell source files as a parameter

#10989 · opened Oct 20, 2015 by hugomg 8.0.1 5 GHCi Pnormal Trac import documentation feature request newcomer
- CLOSED
- 3
updated Jul 07, 2019
Implement `-Wcompat`

#11000 · opened Oct 22, 2015 by Herbert Valerio Riedel 8.0.1 7 Phigh Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Add type-indexed type representations (`TypeRep a`)

#11011 · opened Oct 24, 2015 by Ben Price 8.2.1 5 Pnormal Trac import Typeable feature request
- CLOSED
- 49
updated Jul 07, 2019
Make worker-wrapper transformation optional.

#11020 · opened Oct 26, 2015 by darchon 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Expose pop count primitives to cmm

#11037 · opened Oct 30, 2015 by Edward Kmett 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Allow CallStacks to be hidden or cut

#11049 · opened Nov 01, 2015 by Joachim Breitner 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 8
updated Jul 07, 2019
Add a warning for pattern synonyms without signatures

#11053 · opened Nov 02, 2015 by Matthew Pickering 8.0.1 5 Pnormal Trac import feature request newcomer
- CLOSED
- 2
updated Jul 07, 2019
"Not in scope" errors should be more informative for qualified names.

#11071 · opened Nov 08, 2015 by mojojojo 8.0.1 5 Pnormal Trac import bug feature request
- CLOSED
- 15
updated Jul 07, 2019
Runtime linker doesn't search for DLLs referenced in import libraries on Windows

#11072 · opened Nov 08, 2015 by Ryan Scott 8.0.2 5 Pnormal Trac import bug feature request linking runtime crash
- CLOSED
- 20
updated Jul 07, 2019
Add ability to access and generate haddock-style comments through template haskell

#11079 · opened Nov 11, 2015 by Edward Kmett 5 Pnormal TemplateHaskell Trac import feature request
- CLOSED
- 1
- 1
updated Jul 07, 2019
Cost-center heap profiler should be able to emit samples to eventlog

#11094 · opened Nov 15, 2015 by Ben Gamari 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 6
updated Jul 07, 2019
Builtin encoder/decoder should be used for Latin-1

#11096 · opened Nov 15, 2015 by Ben Gamari 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 4
updated Jul 07, 2019
Introduce `-XTemplateHaskellQuotes` pragma for subset of TH

#11121 · opened Nov 21, 2015 by Herbert Valerio Riedel 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
New `-fwarn-noncanonical-monad-instances` warning

#11128 · opened Nov 23, 2015 by Herbert Valerio Riedel 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 6
updated Jul 07, 2019
Limit frequency of idle GCs

#11134 · opened Nov 25, 2015 by dcturner 5 Pnormal RTS Trac import feature request runtime perf
- CLOSED
- 5
updated Sep 28, 2020
New `-fwarn-noncanonical-monoid-instances` warning

#11150 · opened Dec 01, 2015 by Herbert Valerio Riedel 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Frontend plugins

#11194 · opened Dec 11, 2015 by Edward Z. Yang 8.0.1 5 GHC API Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Missing instances for Identity and Const

#11210 · opened Dec 13, 2015 by duairc 8.0.1 5 Pnormal Trac import core libraries feature request
- CLOSED
- 6
updated Jul 07, 2019
Provide `-W(no-)` aliases for `-f(no-)warn` warning flags

#11218 · opened Dec 14, 2015 by Herbert Valerio Riedel 8.0.1 7 Phigh Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Implement fine-grained `-Werror=...` facility

#11219 · opened Dec 14, 2015 by Herbert Valerio Riedel 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 10
updated Jul 07, 2019
Teach strictness analysis about `catch`-like operations

#11222 · opened Dec 14, 2015 by Ben Gamari 8.10.1 5 Pnormal Trac import exceptions feature request runtime perf
- CLOSED
- 9
updated Jul 07, 2019
splitLHsForAllTy not exported from HsTypes

#11229 · opened Dec 15, 2015 by literon 8.0.1 5 GHC API Pnormal Trac import feature request
- CLOSED
- 1
updated Jul 07, 2019
:kind command hides the explicit kind

#11252 · opened Dec 18, 2015 by Icelandjack 8.0.1 5 GHCi Pnormal Trac import TypeInType feature request
- CLOSED
- 6
updated Jul 07, 2019
Extend ghc environment file features

#11268 · opened Dec 20, 2015 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Split objects makes static linking really slow

#11285 · opened Dec 24, 2015 by Edward Z. Yang 7 Phigh Trac import bug compiler perf feature request linking
- CLOSED
- 8
updated Jul 07, 2019
Add instance (Ix a, Read a, Read b) => Read (UArray a b)

#11335 · opened Jan 01, 2016 by rwbarton 8.8.1 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Unable to infer type when using DuplicateRecordFields

#11343 · opened Jan 03, 2016 by Matthew Pickering 5 OverloadedRecordFields Pnormal Trac import feature request records typechecker
- CLOSED
- 1
- 11
updated Nov 18, 2020
Allow visible type application in patterns

#11350 · opened Jan 04, 2016 by Icelandjack 9.2.1 5 Pnormal PatternSynonyms Trac import TypeApplications feature request
- CLOSED
- 1
- 4
- 30
updated Dec 21, 2020
Scoped type variables in pattern synonyms

#11351 · opened Jan 04, 2016 by Icelandjack 8.0.1 5 Pnormal Trac import bug feature request typechecker
- CLOSED
- 5
updated Jul 07, 2019
Unify named wildcards in different type applications

#11385 · opened Jan 08, 2016 by Icelandjack 5 Pnormal Trac import TypeApplications feature request typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
Print a message when loading a .ghci file

#11389 · opened Jan 09, 2016 by rwbarton 8.0.1 5 GHCi Pnormal Trac import feature request newcomer
- CLOSED
- 1
updated Jul 07, 2019
Add Peano numbers

#11402 · opened Jan 11, 2016 by strake 5 Pnormal Trac import core libraries feature request
- CLOSED
- 3
updated Jul 07, 2019
Make unrecognised `-W` flags a warning rather than an error

#11429 · opened Jan 14, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import feature request
- CLOSED
- 1
- 8
updated Jul 07, 2019
Warn about missing forall when -XScopedTypeVariables is on

#11539 · opened Feb 04, 2016 by kanetw 5 Pnormal Trac import feature request
- CLOSED
- 1
updated Jul 07, 2019
Overload the static form to reduce verbosity

#11585 · opened Feb 16, 2016 by Facundo Domínguez 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Supporting echoing the C compiler invocation instead of the GHC invocation when building the RTS

#11618 · opened Feb 20, 2016 by dobenour 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
RFC: Type-class type signatures (:: Constraint)

#11620 · opened Feb 21, 2016 by Icelandjack 5 Pnormal StandaloneKindSignatures Trac import feature request
- CLOSED
- 4
updated Jul 22, 2019
referring to the existential type from a GADT pattern match with a type application

#11638 · opened Feb 24, 2016 by rwbarton 5 Pnormal Trac import TypeApplications feature request typechecker
- CLOSED
- 2
updated Jul 07, 2019
Emit timings for individual compiler passes

#11653 · opened Feb 27, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 6
updated Jul 07, 2019
Preserve name of original function in worker name

#11676 · opened Mar 04, 2016 by Ben Gamari 8.0.1 3 Plow Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
stage 1 compiler silently ignores plugins

#11690 · opened Mar 09, 2016 by Ömer Sinan Ağacan 8.0.2 0 Plow Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Suggest default definition of Applicative

#11692 · opened Mar 10, 2016 by Icelandjack 5 GHCi Pnormal Trac import error messages feature request
- CLOSED
- 2
updated Jul 07, 2019
Kind of (->) type constructor is overly constrained

#11714 · opened Mar 16, 2016 by Ben Gamari 8.2.1 10 Phighest Trac import feature request
- CLOSED
- 11
updated Jul 07, 2019
Way to dump cmm only once

#11717 · opened Mar 17, 2016 by Joachim Breitner 8.2.1 5 Pnormal Trac import code generation feature request newcomer
- CLOSED
- 4
updated Jul 07, 2019
Disable the Preview button on trac

#11718 · opened Mar 18, 2016 by Joachim Breitner 5 Pnormal Trac import feature request infrastructure
- CLOSED
- 1
updated Jul 07, 2019
Allow one type signature for multiple pattern synonyms

#11727 · opened Mar 20, 2016 by Matthew Pickering 8.2.1 5 Pnormal PatternSynonyms Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Allow unsaturated uses of unlifted types in Core

#11736 · opened Mar 21, 2016 by Ben Gamari 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 9
updated Jul 07, 2019
Make validate --testsuite-only behave correctly w.r.t. bindisttest

#11737 · opened Mar 21, 2016 by Richard Eisenberg 5 Pnormal Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
Add unicode support for TH quotes (`[| |]`)

#11743 · opened Mar 22, 2016 by Josh Price 8.2.1 3 Plow Trac import Unicode feature request parser
- CLOSED
- 4
updated Jul 07, 2019
Data.Functor.Classes instances for Proxy

#11756 · opened Mar 25, 2016 by Andrew Martin 8.0.1 5 Pnormal Trac import core libraries feature request
- CLOSED
- 5
updated Jul 07, 2019
can't decompose ghc.exe path

#11759 · opened Mar 27, 2016 by erisco 8.0.1 5 Pnormal Trac import bug driver feature request
- CLOSED
- 9
updated Jul 07, 2019
Implement `-f(no-)version-macros` flag for controlling version macro generation

#11763 · opened Mar 28, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
Need a way to attach Haddock documentation to derived instances

#11768 · opened Mar 29, 2016 by Ben Gamari 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
Enable Thin Library support for the Runtime linker on Windows.

#11788 · opened Apr 04, 2016 by Tamar Christina 8.2.1 5 Pnormal RTS Trac import feature request linking
- CLOSED
- 4
updated Jul 07, 2019
Flag suggestion does not always work

#11789 · opened Apr 04, 2016 by Joachim Breitner 8.2.1 5 Pnormal Trac import driver feature request newcomer
- CLOSED
- 5
updated Jul 07, 2019
(More) missing instances for Identity and Const

#11790 · opened Apr 04, 2016 by duairc 8.0.1 5 Pnormal Trac import bug core libraries feature request
- CLOSED
- 2
updated Jul 07, 2019
Explicit recompilation required to change compilation options

#11798 · opened Apr 06, 2016 by drathier 8.6.1 5 Pnormal Trac import bug feature request
- CLOSED
- 7
updated Jul 07, 2019
Legend for hpc markup colors

#11799 · opened Apr 06, 2016 by drathier 8.2.1 5 HPC Pnormal Trac import feature request newcomer testsuite
- CLOSED
- 4
updated Jul 07, 2019
Export zonkEvBinds from TcHsSyn.

#11804 · opened Apr 07, 2016 by conal 8.0.1 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Ability to use record fields for automatic derivation of user-defined classes.

#11805 · opened Apr 07, 2016 by Tientuine 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Pretty printer doesn't display functional dependency with ‘→’

#11825 · opened Apr 13, 2016 by Icelandjack 8.0.2 5 GHCi Pnormal Trac import feature request
- CLOSED
- 4
updated Jul 07, 2019
New GHCi command to print out the type of an expression without instantiating

#11975 · opened Apr 23, 2016 by Richard Eisenberg 8.2.1 5 GHCi Pnormal Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
RFC, add Suc to base

#11992 · opened Apr 27, 2016 by Icelandjack 5 Pnormal Trac import core libraries feature request
- CLOSED
- 5
updated Jul 07, 2019
static pointer in ghci

#12000 · opened Apr 30, 2016 by Icelandjack 5 Pnormal StaticPointers Trac import bug documentation feature request
- CLOSED
- 6
updated Jul 07, 2019
unsafeShiftL and unsafeShiftR are not marked as INLINE

#12022 · opened May 06, 2016 by Rufflewind 5 Pnormal Trac import core libraries feature request runtime perf
- CLOSED
- 12
updated Jul 07, 2019
GHC leaks GHC.Prim.~# into type

#12024 · opened May 07, 2016 by Icelandjack 8.2.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 4
updated Jul 07, 2019
Order of constraints forced (in pattern synonyms, type classes in comments)

#12025 · opened May 07, 2016 by Icelandjack 5 Pnormal PatternSynonyms Trac import TypeApplications feature request typechecker
- CLOSED
- 10
updated Jul 07, 2019
Notify user to import * from Data.Kind with TypeInType on

#12029 · opened May 07, 2016 by Icelandjack 0 GHCi Plow Trac import TypeInType feature request
- CLOSED
- 6
updated Jul 07, 2019
GHCi Proposal: Display (Data.Kind.)Type instead of *

#12030 · opened May 07, 2016 by Icelandjack 8.6.1 5 GHCi Pnormal Trac import TypeInType feature request
- CLOSED
- 3
updated Jul 07, 2019
Remove sortWith in favor of sortOn

#12044 · opened May 11, 2016 by Yuriy Syrovetskiy 5 Pnormal Trac import core libraries feature request newcomer
- CLOSED
- 7
updated Mar 27, 2020
Visible kind application

#12045 · opened May 11, 2016 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications TypeInType feature request ghc proposal
- CLOSED
- 18
updated Jul 07, 2019
Allow haddock comments on non-record types

#12050 · opened May 12, 2016 by Ben Gamari 5 Pnormal Trac import feature request parser
- CLOSED
- 6
updated Oct 31, 2019
TypeFamilyDependencies on Data.Type.Bool's `Not`

#12057 · opened May 13, 2016 by Icelandjack 8.2.1 5 Pnormal Trac import TypeFamilies core libraries feature request injective type families newcomer
- CLOSED
- 10
updated Jul 07, 2019
Add primop to query for pinned-ness of a ByteArray

#12059 · opened May 14, 2016 by Ben Gamari 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Allow duplicate record fields in pattern synonyms

#12061 · opened May 15, 2016 by Icelandjack 5 Pnormal PatternSynonyms Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Missing instance of MonadFix for Q

#12073 · opened May 16, 2016 by jophish 5 Pnormal TemplateHaskell Trac import feature request
- CLOSED
- 9
- 4
updated Jun 13, 2020
Typed Template Haskell missing utilities provided by untyped variant

#12103 · opened May 23, 2016 by Ben Gamari 8.2.1 5 Pnormal TemplateHaskell Trac import bug feature request typed TemplateHaskell
- CLOSED
- 3
updated Jul 07, 2019
No easy way to add cost-centre to top-levels

#12116 · opened May 25, 2016 by Ömer Sinan Ağacan 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Can't create injective type family equation with TypeError as the RHS

#12119 · opened May 25, 2016 by Ryan Scott 5 Pnormal Trac import TypeFamilies custom type errors feature request injective type families typechecker
- CLOSED
- 9
updated Jul 07, 2019
Field accessors unnecessarily kept alive

#12125 · opened May 27, 2016 by Ömer Sinan Ağacan 8.0.2 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
syntax repair suggestion is too eager to suggest TemplateHaskell

#12146 · opened Jun 02, 2016 by waldmann@imn.htwk-leipzig.de 5 Pnormal Trac import error messages feature request newcomer
- CLOSED
- 17
updated Jul 07, 2019
MonadFail instance for (Either String)?

#12160 · opened Jun 06, 2016 by Alexis King 5 Pnormal Trac import feature request
- CLOSED
- 15
updated Jul 07, 2019
Concatenation of type level symbols missing

#12162 · opened Jun 07, 2016 by lennart@augustsson.net 8.2.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 14
updated Jul 07, 2019
Type signatures in patterns not (yet) handled by Template Haskell

#12164 · opened Jun 07, 2016 by Edward Z. Yang 8.2.1 5 Pnormal TemplateHaskell Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
Make newtype polykinded

#12228 · opened Jun 23, 2016 by David Feuer 5 Pnormal Trac import feature request typechecker
- CLOSED
- 3
updated Jul 07, 2019
Constraint resolution vs. type family resolution vs. TypeErrors

#12237 · opened Jun 28, 2016 by cactus 5 Pnormal Trac import custom type errors feature request
- CLOSED
- 3
updated Jul 07, 2019
RebindableSyntax and OverloadedLabels

#12243 · opened Jun 29, 2016 by htebalaka 8.2.1 5 OverloadedRecordFields Pnormal Trac import feature request
- CLOSED
- 4
updated Jul 07, 2019
Remove magic from type defaulting

#12271 · opened Jun 30, 2016 by Eric Crockett 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Read1/Read2 don't have methods defined in terms of ReadPrec

#12358 · opened Jul 02, 2016 by Ryan Scott 8.2.1 5 Pnormal Trac import core libraries feature request
- CLOSED
- 7
updated Jul 07, 2019
Use TypeOperators for pattern synonyms?

#12366 · opened Jul 05, 2016 by dubiousjim 3 Plow Trac import feature request parser
- CLOSED
- 3
updated Jul 07, 2019
data families shouldn't be required to have return kind *, data instances should

#12369 · opened Jul 06, 2016 by Edward Kmett 8.4.1 5 Pnormal Trac import TypeInType feature request typechecker
- CLOSED
- 14
updated Jul 07, 2019
Rename clashing type variables more consistently

#12382 · opened Jul 12, 2016 by Joachim Breitner 8.2.1 3 Plow Trac import feature request typechecker
- CLOSED
- 7
updated Jul 07, 2019
Add fromLeft and fromRight to Data.Either

#12402 · opened Jul 16, 2016 by mettekou 8.2.1 5 Pnormal Trac import core libraries feature request
- CLOSED
- 3
updated Jul 07, 2019
Document version availability for each language extension

#12404 · opened Jul 16, 2016 by David Feuer 8.2.1 5 Pnormal Trac import documentation feature request
- CLOSED
- 3
updated Jul 07, 2019
Make `MonadCont (ContT r m)` polykinded (r::k), (m::k -> Type)

#12418 · opened Jul 21, 2016 by Icelandjack 5 Pnormal Trac import core libraries feature request
- CLOSED
- 9
updated Jul 07, 2019
Allow smart constructors their own types

#12426 · opened Jul 23, 2016 by David Feuer 8.2.1 5 Pnormal Trac import feature request
- CLOSED
- 2
updated Jul 07, 2019
Add `instance Semigroup a => Semigroup (IO a)`

#12464 · opened Aug 05, 2016 by Icelandjack 8.2.1 5 Pnormal Trac import core libraries feature request
- CLOSED
- 2
updated Jul 07, 2019
Template Haskell support for unboxed sums

#12478 · opened Aug 09, 2016 by Ryan Scott 8.2.1 5 Pnormal TemplateHaskell Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
Add MonadFail instance for Either String

#12481 · opened Aug 11, 2016 by hesiod 5 Pnormal Trac import core libraries feature request
- CLOSED
- 2
updated Jul 07, 2019