Issues · Glasgow Haskell Compiler / GHC · GitLab

erroneous overlapping instances reported with FunDeps

#7171 · opened Aug 21, 2012 by jwlato 7.6.1 10 FunctionalDependencies Phighest Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Type checking regression

#4966 · opened Feb 17, 2011 by Ian Lynagh <igloo@earth.li> 7.0.2 10 Phighest Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Typechecking regression

#4952 · opened Feb 09, 2011 by Ian Lynagh <igloo@earth.li> 7.0.2 10 Phighest Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
TH typechecking regression

#4949 · opened Feb 08, 2011 by Ian Lynagh <igloo@earth.li> 7.0.2 10 Phighest Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
tc003(hpc) failing with link error

#4396 · opened Oct 14, 2010 by Simon Marlow 7.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
T1735(ghci) failing with core-lint error

#4395 · opened Oct 14, 2010 by Simon Marlow 7.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
IPRun failure

#4394 · opened Oct 14, 2010 by Simon Marlow 7.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
tcrun020 failure

#4392 · opened Oct 14, 2010 by Simon Marlow 7.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC5.0 restricted bindings broken

#528 · opened Apr 10, 2001 by lewie 10 Phighest Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf needs triage pattern match warnings typechecker
- 3
updated Feb 25, 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
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
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
Incremental `tcCheckSatisfiability` API

#18645 · opened Sep 03, 2020 by Sebastian Graf needs triage pattern match warnings task typechecker
- CLOSED
- 2
- 0
updated Sep 14, 2020
Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical

#17827 · opened Feb 12, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 2
- 1
updated Feb 14, 2020
Instantiation doesn't look through dictionaries

#17789 · opened Feb 05, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 1
updated Feb 05, 2020
GHC unexpectedly reports variable as untouchable and suggests -XAmbiguousTypes after enabling constraints via associated type family under rank2 argument

#17105 · opened Aug 23, 2019 by Sergey Vinokurov question typechecker
- CLOSED
- 7
updated Sep 02, 2019
No test/assertion for kcLHsQTyVars_Cusk solveEqualities

#16687 · opened May 23, 2019 by Vladislav Zavialov ⊥ 1 Plow documentation question typechecker
- CLOSED
- 6
updated Aug 06, 2019
Multiple occurrences of the same polykinded type don't unify

#16675 · opened May 20, 2019 by Christopher Rodrigues documentation question typechecker
- 11
updated May 31, 2019
incorrect type-defaults warning for lambda expressions

#16651 · opened May 12, 2019 by george.colpitts question typechecker
- CLOSED
- 2
updated May 19, 2019

Prev
1
2
3
4
5
6
7
8
…
63
Next