Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 9.0 unable to deduce that instance signature is at least as general as class signature

#19419 · opened Feb 23, 2021 by sheaf InstanceSigs typechecker
- CLOSED
- 2
updated Feb 25, 2021
indexed types panic: wrongKindOfFamily main:ShouldCompile.Sd{tc r6A}

#1331 · opened May 05, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Feb 24, 2021
GHC 9.0 no longer typechecks a program involving overloaded labels and type applications

#19154 · opened Jan 02, 2021 by sheaf 9.2.1 bug program incorrectly rejected typechecker
- CLOSED
- 5
- 8
updated Feb 22, 2021
Regression around overloaded literals and type applications

#19167 · opened Jan 04, 2021 by Richard Eisenberg 9.2.1 OverloadedStrings RebindableSyntax TypeApplications typechecker
- CLOSED
- 2
updated Feb 21, 2021
Suggest AllowAmbiguousTypes

#8392 · opened Oct 01, 2013 by rwbarton 5 Pnormal Trac import feature request typechecker
- CLOSED
- 3
updated Feb 19, 2021
GHC 9.0 regression: plots-0.1.1.2 fails to build due to ambiguous type variable

#19315 · opened Feb 03, 2021 by Ryan Scott 9.0.2 Phighest bug program incorrectly rejected typechecker
- CLOSED
- 11
updated Feb 10, 2021
GADT pattern match defeats instance solving

#19107 · opened Dec 22, 2020 by Richard Eisenberg constraint solver typechecker
- CLOSED
- 2
- 5
updated Jan 25, 2021
Partial type signature variable confuses instance solving

#19106 · opened Dec 22, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 2
- 2
updated Jan 25, 2021
mkNewTyConRhs panic when trying to constrain newtype with Coercible

#17955 · opened Mar 24, 2020 by matzemathics 9.0.1 Pnormal bug typechecker
- CLOSED
- 4
- 9
updated Jan 23, 2021
panic lookup_final_id with -fdefer-type-errors and kind error in instance definition

#19142 · opened Dec 31, 2020 by Jakob Brünker Pnormal bug compiler crash deferred type errors typechecker
- CLOSED
- 3
- 6
updated Jan 22, 2021
‘:kind () :: '()’ doesn't give any output

#19197 · opened Jan 09, 2021 by Icelandjack GHCi bug needs triage typechecker
- CLOSED
- 1
- 2
updated Jan 18, 2021
Eta-expansion of a left-section

#18151 · opened May 06, 2020 by Richard Eisenberg 9.0.1 Pnormal bug incorrect runtime result report impact typechecker
- CLOSED
- 1
- 8
updated Jan 12, 2021
GHC.TypeLits.TypeError can print 'GHC.Types.Any' when existentials are involved

#17301 · opened Oct 04, 2019 by sheaf Pnormal bug error messages typechecker
- CLOSED
- 2
- 5
updated Jan 11, 2021
Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg TypeInType task typechecker
- CLOSED
- 2
- 1
- 11
updated Jan 11, 2021
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021
TypeInType prevents Typeable from being resolved from a given

#19196 · opened Jan 08, 2021 by Serge Kosyrev TypeInType Typeable program incorrectly rejected typechecker
- CLOSED
- 3
updated Jan 11, 2021
Implement TDNR

#4479 · opened Nov 06, 2010 by gidyn 8.0.1 3 OverloadedRecordFields Plow Trac import feature request typechecker
- CLOSED
- 30
updated Jan 08, 2021
Pattern guards can break linearity

#18439 · opened Jul 10, 2020 by Arnaud Spiwack LinearTypes bug typechecker
- CLOSED
- 5
- 4
updated Jan 08, 2021
can newtype be extended to permit GADT-like declarations

#4009 · opened Apr 24, 2010 by nr@eecs.harvard.edu 5 GADTs Pnormal Trac import feature request typechecker
- CLOSED
- 3
updated Jan 06, 2021
Order-dependent type inference due to Note [Instance and Given overlap]

#18910 · opened Oct 30, 2020 by Richard Eisenberg Pnormal TypeFamilies bug constraint solver typechecker
- CLOSED
- 3
- 5
updated Jan 06, 2021

Prev
1
2
3
4
5
…
49
Next