Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 9.0 rejects default signature that 8.10 accepts

#19432 · opened Feb 25, 2021 by Ryan Scott DefaultSignatures bug program incorrectly rejected typechecker
- CLOSED
- 2
- 15
updated Mar 03, 2021
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
oversized source range in type error message

#19364 · opened Feb 13, 2021 by jwaldmann Pnormal bug error messages typechecker
- CLOSED
- 2
updated Mar 04, 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
‘: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
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
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
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
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
panic: No skolem info when trying to use variable with polymorphic kind as Type/Constraint

#19140 · opened Dec 31, 2020 by Jakob Brünker 9.2.1 RankNTypes bug compiler crash needs triage typechecker
- CLOSED
- 1
updated Dec 31, 2020
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
Regression: HEAD requires FlexibleContexts because of inferred, redundant constraint

#19044 · opened Dec 09, 2020 by Ryan Scott 9.2.1 OverlappingInstances Phighest bug program incorrectly accepted typechecker
- CLOSED
- 3
- 4
updated Dec 19, 2020
Quick Look does not zonk return types

#18987 · opened Nov 24, 2020 by Richard Eisenberg ImpredicativeTypes task typechecker
- CLOSED
- 2
updated Dec 21, 2020
Investigate touchable meta-variables in Givens

#18929 · opened Nov 07, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 9
updated Jan 02, 2021
ghc-8.8 does not infer kind

#18920 · opened Nov 02, 2020 by jwaldmann 8.10.1 bug program incorrectly rejected typechecker
- CLOSED
- 2
- 5
updated Nov 09, 2020
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
Kind inference for newtypes in GADT syntax is deeply broken

#18891 · opened Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures TypeFamilies TypeInType UnliftedNewtypes bug levity polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
Occurs-check-y Givens rewrite once, but not twice

#18875 · opened Oct 22, 2020 by Richard Eisenberg TypeFamilies constraint solver typechecker
- CLOSED
- 3
- 3
updated Dec 04, 2020
Visibility mismatch between data declaration and kind signature, accepted!

#18863 · opened Oct 19, 2020 by Icelandjack 9.2.1 needs triage typechecker
- CLOSED
- 2
- 6
updated Oct 31, 2020

Prev
1
2
3
4
5
…
49
Next