Issues · Glasgow Haskell Compiler / GHC · GitLab

Untouchable variable in unused let binding

#18531 · opened 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 · opened Jun 24, 2020 by Ryan Scott GADTs Tfeature request
- 15
updated Jan 08, 2021
GHC does not honor unrestricted function types for GADTs in TH splices

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

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal Tbug 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 Tbug TypeFamilies UndecidableSuperClasses UndecideableInstances
- 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 Tbug typechecker
- 1
updated Apr 08, 2020
Data family instances aren't eta-reduced correctly

#17305 · opened 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 · opened Jul 25, 2019 by David Feuer GADTs Pnormal Tfeature request runtime perf
- 2
updated Jul 21, 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 5 GADTs Pnormal Tbug Trac import TypeFamilies pattern match warnings
- 7
updated Jun 17, 2020
Valid hole fits and GADT type variable names

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

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

#12823 · opened 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 · opened Feb 27, 2016 by Icelandjack 5 GADTs Pnormal Tbug Trac import typechecker
- 1
updated Jul 07, 2019
Error says to fix incorrect return type

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

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

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

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

#8673 · opened Jan 17, 2014 by Simon Peyton Jones 5 GADTs Pnormal Tfeature request Trac import
- 3
updated Feb 05, 2020
Derive some generic representation for GADTs

#8560 · opened Nov 23, 2013 by Carter Schonwald ⊥ 5 GADTs Pnormal Tbug Trac import
- 11
updated Jul 07, 2019