Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC suggests that infix operators might have the wrong number of arguments

#16786 · opened Jun 08, 2019 by Chris Smith ⊥ 3 Plow error messages task typechecker
- 1
updated Jul 07, 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
Odd interaction between rank-2 types and type families

#10204 · opened Mar 27, 2015 by Iavor S. Diatchki ⊥ 5 Pnormal Trac import bug feature request typechecker
- 4
updated Jul 07, 2019
Type classes that fully cover closed kinds

#9568 · opened Sep 09, 2014 by dmcclean ⊥ 0 Plow Trac import feature request typechecker
- CLOSED
- 4
updated Jul 07, 2019
Less conservative compatibility check for closed type families

#8423 · opened Oct 08, 2013 by Carter Schonwald ⊥ 5 Pnormal Trac import bug feature request typechecker
- 16
updated Jul 07, 2019
Typechecker behaviour change

#5051 · opened Mar 26, 2011 by Ian Lynagh <igloo@earth.li> ⊥ 5 Pnormal Trac import bug typechecker
- 7
updated Jul 07, 2019
Using an inferred type as a type signature fails

#1050 · opened Dec 13, 2006 by Simon Peyton Jones ⊥ 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019