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 ⊥ Plow error messages task typechecker 3
- 1
updated Jul 07, 2019
No test/assertion for kcLHsQTyVars_Cusk solveEqualities

#16687 · opened May 23, 2019 by Vladislav Zavialov ⊥ Plow documentation question typechecker 1
- CLOSED
- 6
updated Aug 06, 2019
Odd interaction between rank-2 types and type families

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

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

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

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

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