Issues · Glasgow Haskell Compiler / GHC · GitLab

Allow nested foralls and contexts in prefix GADT constructors

#18389 · opened Jun 24, 2020 by Ryan Scott 8.14.1 GADTs
- 2
updated Jun 30, 2020
GHC does not honor unrestricted function types for GADTs in TH splices

#18378 · opened Jun 23, 2020 by Ryan Scott GADTs LinearTypes TemplateHaskell bug
- 3
updated Jun 24, 2020
Type synonym lost with GADTs

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal bug typechecker
- 1
updated May 18, 2020
8.10: Overlapping instances claimed where there are none (or crash in 8.8)

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

#18007 · opened Apr 02, 2020 by infinity0 GADTs GHCi Pnormal bug typechecker
- 1
updated Apr 08, 2020
Compiler panic with "proc" and GADTs in GHC 8.6.5

#17423 · opened Oct 31, 2019 by paul@cogito.org.uk Arrows GADTs Plow bug compiler crash error messages
- 1
updated Nov 01, 2019
Data family instances aren't eta-reduced correctly

#17305 · opened Oct 04, 2019 by Ryan Scott 8.10.2 GADTs TemplateHaskell TypeFamilies backport needed:8.10 compiler crash
- 12
updated Jun 04, 2020
Let tagToEnum# work with GADTs

#16989 · opened Jul 25, 2019 by David Feuer GADTs Pnormal feature request runtime perf
- 2
updated Jan 23, 2020
Relax local equality check

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

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

#15677 · opened Sep 26, 2018 by Ryan Scott 8.12.1 GADTs Pnormal Trac import bug error messages typed holes valid hole fits 5
- 5
updated Jan 23, 2020
TypeInType: Type error conditioned on ordering of GADT and type family definitions

#15561 · opened Aug 23, 2018 by Bj0rn 8.6.1 GADTs Pnormal Trac import TypeFamilies TypeInType bug 5
- 3
updated Jul 07, 2019
Inconsistency in acceptance of equality constraints in different forms

#12823 · opened Nov 11, 2016 by David Feuer GADTs Pnormal Trac import feature request typechecker 5
- 4
updated Jul 07, 2019
Equality constraint not available in pattern type signature (GADTs/ScopedTypeVariables)

#12018 · opened May 06, 2016 by Icelandjack GADTs Plow ScopedTypeVariables Trac import bug typechecker 0
- 11
updated Jul 07, 2019
Ambiguous types in pattern synonym not determined by functional dependencies

#11655 · opened Feb 27, 2016 by Icelandjack GADTs Pnormal Trac import bug typechecker 5
- 1
updated Jul 07, 2019
Error says to fix incorrect return type

#11384 · opened Jan 08, 2016 by Icelandjack GADTs Pnormal Trac import bug error messages typechecker 5
- 5
updated Jan 23, 2020
Surprising accepted constructor for GADT instance of data family

#11310 · opened Dec 29, 2015 by David Feuer GADTs Pnormal Trac import bug 5
- 1
updated Jul 07, 2019
GHC panic with ViewPatterns and GADTs in a proc pattern

#9985 · opened Jan 14, 2015 by Rafbill Arrows GADTs Pnormal Trac import bug compiler crash typechecker 5
- 2
updated Oct 31, 2019
Type inference is weaker for GADT than analogous Data Family

#9667 · opened Oct 05, 2014 by Carter Schonwald GADTs Pnormal Trac import feature request typechecker 5
- 17
updated Jul 07, 2019
GHC could generate GADT record selectors in more cases

#8673 · opened Jan 17, 2014 by Simon Peyton Jones GADTs Pnormal Trac import feature request 5
- 3
updated Feb 05, 2020