Issues · Glasgow Haskell Compiler / GHC · GitLab

Surprising failure combining QuantifiedConstraints with Coercible

#15639 · created Sep 13, 2018 by David Feuer 8.6.1 5 Pnormal Tbug Trac import typechecker
- 10
updated Jul 07, 2019
More liberally kinded coercions for newtypes

#15707 · created Oct 05, 2018 by mniip 8.6.1 5 Pnormal Tfeature request Trac import roles typechecker
- 5
updated Jul 07, 2019
Cross-module SPECIALZE pragmas aren't typechecked in -O0

#15708 · created Oct 05, 2018 by regnat 5 Pnormal Tbug Trac import typechecker
- 2
updated Jul 07, 2019
Adding extra quantified constraints leads to resolution failure

#15989 · created Dec 02, 2018 by eror 8.6.3 5 Pnormal Tbug Trac import typechecker
- 7
updated Jul 07, 2019
-Wredundant-constraints: False positive

#16154 · created Jan 09, 2019 by Fumiaki Kinoshita 5 Pnormal Tbug Trac import error messages typechecker
- 7
updated Jul 07, 2019
Cannot deduce constraint from itself with poly-kinded type family

#16374 · created Mar 01, 2019 by roland 5 Pnormal Tbug Trac import error messages typechecker
- 2
updated Jul 07, 2019
GHC suggests that infix operators might have the wrong number of arguments

#16786 · created Jun 08, 2019 by Chris Smith ⊥ 3 Plow Ttask error messages typechecker
- 1
updated Jul 07, 2019
Multiple occurrences of the same polykinded type don't unify

#16675 · created May 20, 2019 by Christopher Rodrigues Tquestion documentation typechecker
- 11
updated May 31, 2019
Relax local equality check

#16684 · created May 22, 2019 by Iavor S. Diatchki GADTs TypeFamilies typechecker
- 3
updated May 23, 2019

Prev
1
…
12
13
14
15
16
Next