Issues · Glasgow Haskell Compiler / GHC · GitLab

QuantifiedConstraints: Can't be RHS of type family instances

#14968 · opened Mar 24, 2018 by josef 5 Pnormal Tbug Trac import typechecker
- 1
- 11
updated Jul 07, 2019
Exhaustivity check should suggest when COMPLETE could be helpful

#15014 · opened Apr 08, 2018 by Edward Z. Yang 8.4.3 5 Pnormal PatternSynonyms Tbug Trac import error messages pattern match warnings typechecker
- 0
updated Jul 07, 2019
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter

#15310 · opened Jun 25, 2018 by cedricshock 3 Plow Tfeature request Trac import generics typechecker
- 3
updated Jul 07, 2019
Reduce type families in equations' RHS when testing equation compatibility

#15557 · opened Aug 22, 2018 by mniip 8.6.1 5 Pnormal Tfeature request Trac import TypeFamilies typechecker
- 7
updated Jul 07, 2019
Surprising failure combining QuantifiedConstraints with Coercible

#15639 · opened 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 · opened 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 · opened 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 · opened Dec 02, 2018 by eror 8.6.3 5 Pnormal Tbug Trac import typechecker
- 7
updated Jul 07, 2019
-Wredundant-constraints: False positive

#16154 · opened 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 · opened 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 · opened 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 · opened May 20, 2019 by Christopher Rodrigues Tquestion documentation typechecker
- 11
updated May 31, 2019
Relax local equality check

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

Prev
1
…
10
11
12
13
14
Next