Issues · Glasgow Haskell Compiler / GHC

New issue

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
[TypeApplications] Create Proxy-free alternatives of functions in base

#11349 · opened Jan 04, 2016 by Icelandjack 5 Pnormal Trac import TypeApplications Typeable core libraries feature request
- 9
updated Jul 07, 2019
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
Allow applying type to label

#11352 · opened Jan 04, 2016 by Icelandjack 5 Pnormal Trac import TypeApplications feature request typechecker
- 3
updated Jul 07, 2019
GHC should support static archive creation on all systems

#11373 · opened Jan 07, 2016 by Edward Z. Yang 3 Plow Trac import feature request
- 1
updated Jul 07, 2019
Template Haskell only imports

#11377 · opened Jan 08, 2016 by Edward Z. Yang 3 Plow TemplateHaskell Trac import feature request
- 4
updated Jul 07, 2019
Use the compiler that built ghc for dynamic code loading, for cross-compiling

#11378 · opened Jan 08, 2016 by Edward Z. Yang ⊥ 0 Plow TemplateHaskell Trac import feature request
- 6
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
Typecasting using type application syntax

#11387 · opened Jan 09, 2016 by Icelandjack 5 Pnormal Trac import TypeApplications feature request
- 3
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
Ability to define INLINE pragma for all instances of a given typeclass

#11393 · opened Jan 09, 2016 by danilo2 5 Pnormal Trac import feature request
- 4
updated Jul 07, 2019
Type application for operator sections

#11398 · opened Jan 10, 2016 by Icelandjack 5 Pnormal Trac import TypeApplications feature request
- 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
Suggest correct spelling when module is not found because of typo

#11418 · opened Jan 13, 2016 by Mr Kerckhove 0 Plow Trac import feature request
- 30
updated Jul 07, 2019
The GHC API doesn't provide a good hscTarget option for tooling

#11425 · opened Jan 14, 2016 by Ben Gamari 8.2.1 7 GHC API Phigh Trac import feature request
- 7
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
Request for comments: Allow duplicate type signatures

#11439 · opened Jan 15, 2016 by Icelandjack 5 Pnormal Trac import feature request
- 9
updated Jul 07, 2019
Run type-checker plugins before GHC's solver

#11457 · opened Jan 18, 2016 by Eric Seidel 5 Pnormal Trac import feature request plugins typechecker plugins
- 8
updated Jan 23, 2020
Allow pattern synonyms to be bundled with type classes?

#11461 · opened Jan 19, 2016 by Matthew Pickering 5 Pnormal PatternSynonyms Trac import feature request
- 5
updated Aug 24, 2020
GHCi should get LANGUAGE extensions/defaulting from the module whose full top-level scope is visible

#11469 · opened Jan 21, 2016 by Edward Z. Yang 5 GHCi Pnormal Trac import feature request
- 6
updated Jul 07, 2019
Support changing cross compiler target at runtime 2 of 6 tasks completed

#11470 · opened Jan 21, 2016 by Edward Z. Yang 5 Pnormal Trac import feature request
- 2
- 16
updated Dec 16, 2020
Turn -fdefer-typed-holes on by default

#11482 · opened Jan 23, 2016 by thomie 5 Pnormal Trac import error messages feature request
- 5
updated Jul 07, 2019
Allow class associated types to reference functional dependencies

#11534 · opened Feb 03, 2016 by Edward Kmett 5 FunctionalDependencies Pnormal Trac import TypeFamilies feature request typechecker
- 34
updated Jan 02, 2021
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
Have static ghci link against its own copy of its libraries

#11561 · opened Feb 09, 2016 by rwbarton 3 Plow RTS Trac import feature request linking runtime perf
- 5
updated Jul 07, 2019
TypeError requires UndecidableInstances unnecessarily

#11581 · opened Feb 15, 2016 by rwbarton 3 Plow Trac import feature request typechecker
- 1
- 11
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
Template Haskell: Add a way to get names that are neither capturable nor capturing.

#11593 · opened Feb 17, 2016 by cgibbard 5 Pnormal TemplateHaskell Trac import feature request
- 2
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
Promoting newtype destructor

#11636 · opened Feb 24, 2016 by Oleg Grenrus 5 Pnormal Trac import feature request
- 1
updated Jul 07, 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
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened Feb 25, 2016 by Icelandjack 0 FunctionalDependencies Plow Trac import feature request partial type sigs typechecker
- 2
updated Jul 07, 2019
Make pattern synonym export type mismatch a warning

#11646 · opened Feb 25, 2016 by David Feuer 5 Pnormal Trac import feature request typechecker
- 6
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
Type synonym with context in pattern synonym

#11658 · opened Feb 28, 2016 by Icelandjack 5 Pnormal Trac import feature request
- 1
updated Jul 07, 2019
Allow labels starting with uppercase with OverloadedLabels

#11671 · opened Mar 04, 2016 by inaki 5 Pnormal Trac import feature request ghc proposal parser
- 19
updated Apr 08, 2020
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
:main doesn't use a bound thread

#11682 · opened Mar 06, 2016 by dmwit 5 Pnormal Trac import feature request
- 0
updated Jul 07, 2019
implicit call stacks should provide a way to get the calling function's name

#11686 · opened Mar 07, 2016 by elaforge 5 Pnormal Trac import feature request
- 6
updated Jan 23, 2020
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
Add `When` type family

#11693 · opened Mar 10, 2016 by Icelandjack 5 Pnormal Trac import core libraries feature request
- 1
updated Nov 12, 2020
Increase precedence of lexps (if-then-else, case-of, do, lambda and let-in)

#11706 · opened Mar 14, 2016 by YoYoYonnY ⊥ 0 Plow Trac import feature request parser
- 5
updated Jul 07, 2019
STM Finalizers

#11713 · opened Mar 16, 2016 by mc.schroeder 5 Pnormal RTS Trac import feature request
- 7
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
A command to remove modules from the target list

#11738 · opened Mar 21, 2016 by jh3141 5 GHCi Pnormal Trac import feature request
- 1
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
Allow documentary type signatures

#11765 · opened Mar 28, 2016 by David Feuer 8.6.1 5 Pnormal Trac import feature request typechecker
- 6
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
Support and redistributables for ARM64 (64bit)

#11769 · opened Mar 29, 2016 by varosi 3 Plow Trac import feature request
- 1
updated Jul 07, 2019
Teach ghc-pkg to read multiple registrations from command line

#11782 · opened Apr 02, 2016 by Edward Z. Yang 5 Pnormal Trac import feature request ghc-pkg
- 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
Warn about unwanted instances in a modular way

#11796 · opened Apr 06, 2016 by Lemming 5 Pnormal Trac import feature request
- 12
updated Dec 09, 2020
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
RFC: Make browse command display everything unqualified

#11801 · opened Apr 06, 2016 by Icelandjack 0 GHCi Plow Trac import feature request
- 5
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
-fforce-relink / -fforce-link option

#11807 · opened Apr 07, 2016 by Edward Z. Yang 5 Pnormal Trac import feature request
- 0
updated Jul 07, 2019
Data.List: Add a function to get consecutive elements (mapConsecutives)

#11815 · opened Apr 08, 2016 by holmisen 3 Plow Trac import core libraries feature request
- 19
updated Jul 07, 2019
Add proper support for weak symbols to the runtime linker

#11817 · opened Apr 10, 2016 by Tamar Christina 8.2.1 5 Pnormal RTS Trac import broken test feature request linking
- 6
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
Eventlog should include delimiters showing when the process writes to the .eventlog file

#11950 · opened Apr 19, 2016 by JamesFisher 5 Pnormal RTS Trac import eventlog feature request
- 1
updated Jul 07, 2019
Export Word32#, Word64# on all architectures

#11953 · opened Apr 19, 2016 by Ben Gamari 9.0.1 5 Pnormal Trac import bug feature request
- 2
- 22
updated Jan 10, 2021
Support induction recursion

#11962 · opened Apr 20, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType feature request
- 19
updated Jan 06, 2020
Custom message when showing functions, comparing functions, ...

#11967 · opened Apr 22, 2016 by Icelandjack 5 Pnormal Trac import core libraries custom type errors feature request
- 3
updated Jul 07, 2019
Unify error messages that suggest enabling extensions

#11971 · opened Apr 22, 2016 by Moritz Kiefer 3 Plow Trac import feature request
- 3
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
RFC, allow local bindings in pattern synonyms

#11993 · opened Apr 27, 2016 by Icelandjack 5 Pnormal PatternSynonyms Trac import feature request
- 2
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
RFC: Add pattern synonyms to base

#12001 · opened May 01, 2016 by Icelandjack 5 Pnormal Trac import core libraries feature request
- 16
updated Jul 07, 2019
Make it possible to deprecate a method instantiation of a typeclass instance

#12014 · opened May 04, 2016 by niteria 5 Pnormal Trac import feature request
- 6
updated Jul 07, 2019
Allow wildcards in type synonyms and data declarations

#12016 · opened May 05, 2016 by Icelandjack 0 Plow Trac import feature request parser
- 2
updated Jul 07, 2019
Error message on use of != should suggest use of /=

#12020 · opened May 06, 2016 by mhoermann 5 Pnormal Trac import feature request
- 3
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 CustomTypeErrors in type synonyms (+ evaluate nested type family?)

#12048 · opened May 12, 2016 by Icelandjack 5 Pnormal Trac import custom type errors feature request
- 5
updated Jul 07, 2019
`OverloadedStrings` for types

#12049 · opened May 12, 2016 by Icelandjack 5 Pnormal Trac import custom type errors feature request
- 1
- 0
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
Mode for ghc --make which only compiles the files I pass on command line

#12053 · opened May 12, 2016 by Edward Z. Yang 5 Pnormal Trac import backpack feature request
- 1
updated Jul 07, 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