Issues · Glasgow Haskell Compiler / GHC · GitLab

Confusing GADTSyntax newtype error with invisible kinds

#21447 · created Apr 28, 2022 by sheaf 9.6.1 GADTs Pnormal Tbug diagnostic quality error messages newcomer typechecker
- 1
updated May 03, 2022
GADT accepted without -XGADTs

#21102 · created Feb 18, 2022 by Richard Eisenberg 9.4.1 GADTs Pnormal Tbug documentation
- 8
updated Mar 04, 2022
Unexpected warning "redundant constraint" when a Constraint type family is used to limit GADT patterns

#20896 · created Jan 02, 2022 by Evgeny Poberezkin GADTs Pnormal Tbug pattern match warnings typechecker
- 11
updated Jan 05, 2022
The GADTs extension implies ExistentialQuantification

#20865 · created Dec 24, 2021 by Mario ExistentialQuantification GADTs Plow documentation
- 3
- 5
updated Jan 03, 2022
Skolems can escape in arrow notation, resulting in Core Lint errors

#20470 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 3
updated Feb 24, 2022
Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors

#20469 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 5
updated Mar 10, 2022
Untouchable variable in unused let binding

#18531 · created Aug 04, 2020 by Matt Noonan GADTs Pnormal Tbug error messages program incorrectly rejected
- 4
updated Sep 30, 2020
Allow nested foralls and contexts in prefix GADT constructors

#18389 · created Jun 24, 2020 by Ryan Scott GADTs Tfeature request ghc proposal
- 24
updated Apr 02, 2022
GHC does not honor unrestricted function types for GADTs in TH splices

#18378 · created Jun 23, 2020 by Ryan Scott GADTs LinearTypes Tbug TemplateHaskell
- 1
- 5
updated Aug 02, 2021
Type synonym lost with GADTs

#18196 · created May 17, 2020 by Identical Snowflake GADTs Pnormal Tbug typechecker
- 1
- 2
updated Oct 17, 2021
8.10: Overlapping instances claimed where there are none (or crash in 8.8)

#18129 · created May 02, 2020 by Serge Kosyrev GADTs OverlappingInstances Pnormal Tbug TypeFamilies UndecidableSuperClasses UndecideableInstances
- 1
- 3
updated Jul 01, 2020
GHCi infers too-general type when pattern-matching on existential GADT

#18007 · created Apr 02, 2020 by infinity0 GADTs GHCi Pnormal Tbug typechecker
- 1
updated Apr 08, 2020
Data family instances aren't eta-reduced correctly

#17305 · created Oct 04, 2019 by Ryan Scott 8.10.2 GADTs TemplateHaskell TypeFamilies compiler crash
- 14
updated Dec 14, 2020
Let tagToEnum# work with GADTs

#16989 · created Jul 25, 2019 by David Feuer GADTs Pnormal Tfeature request runtime perf
- 2
updated Jul 21, 2020
Relax local equality check

#16684 · created May 22, 2019 by Iavor S. Diatchki GADTs TypeFamilies typechecker
- 3
updated May 23, 2019
Exhaustivity checking GADT with free variables

#16278 · created Feb 02, 2019 by Andrew Martin 5 GADTs Pnormal Tbug Trac import TypeFamilies pattern match warnings
- 7
updated Jun 17, 2020
Valid hole fits and GADT type variable names

#15677 · created Sep 26, 2018 by Ryan Scott ⊥ 5 GADTs Pnormal Tbug Trac import error messages typed holes valid hole fits
- 6
updated Sep 07, 2021
TypeInType: Type error conditioned on ordering of GADT and type family definitions

#15561 · created Aug 23, 2018 by Bj0rn 8.6.1 5 GADTs Pnormal Tbug Trac import TypeFamilies TypeInType
- 3
updated Mar 05, 2022
Inconsistency in acceptance of equality constraints in different forms

#12823 · created Nov 11, 2016 by David Feuer 5 GADTs Pnormal Tfeature request Trac import typechecker
- 4
updated Jul 07, 2019
Ambiguous types in pattern synonym not determined by functional dependencies

#11655 · created Feb 27, 2016 by Icelandjack 5 GADTs Pnormal Tbug Trac import typechecker
- 1
updated Jul 07, 2019