Issues · Glasgow Haskell Compiler / GHC · GitLab

Warn about unnecessary unsafeCoerce

#9756 · opened Nov 03, 2014 by David Feuer 3 Plow Trac import feature request typechecker
- 5
updated Jul 07, 2019
"data X = 1": "Illegal literal in type (use DataKinds to enable): 1"

#9634 · opened Sep 26, 2014 by rwbarton 3 Plow Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Possible excessive leniency in interaction between coerce and data families?

#9580 · opened Sep 11, 2014 by dmcclean 3 Plow Trac import bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Improve error message for unacceptable role annotations

#9518 · opened Aug 28, 2014 by dmcclean 3 Plow Trac import feature request newcomer typechecker
- 5
updated Jul 07, 2019
Type class overlapping instances check doesn't understand type equality

#9288 · opened Jul 09, 2014 by Edward Z. Yang 3 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Un-zonked kind variable passes through type checker

#8907 · opened Mar 17, 2014 by Richard Eisenberg 3 Plow Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
:browse and roles on typefamilies

#8672 · opened Jan 16, 2014 by Krzysztof Gogolewski 3 Plow Trac import bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
Improve deriving error messages

#8576 · opened Nov 29, 2013 by Joachim Breitner 3 Plow Trac import feature request typechecker
- CLOSED
- 2
updated Jul 07, 2019
DeriveFunctor and PolyKinds

#8534 · opened Nov 15, 2013 by Krzysztof Gogolewski 3 Plow Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Add (->) representation and the Invariant class to GHC.Generics

#8516 · opened Nov 09, 2013 by nfrisby 3 Plow Trac import feature request typechecker
- 14
updated Jul 07, 2019
A combination of type-level comparison and subtraction does not work for 0

#8447 · opened Oct 15, 2013 by nushio 3 Plow Trac import bug typechecker
- 4
updated Jul 07, 2019
Ill-kinded value is not rejected immediately

#8262 · opened Sep 10, 2013 by Krzysztof Gogolewski 3 Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Associated type parameters that are more specific than the instance header

#8161 · opened Aug 23, 2013 by Adam Gundry 3 Plow Trac import TypeFamilies feature request typechecker
- CLOSED
- 1
updated Jul 22, 2019
Type error in one function causes wrong type error report in another function in the presence of functionally dependent types

#5978 · opened Mar 28, 2012 by Lemming 7.6.1 3 Plow Trac import bug typechecker
- CLOSED
- 13
updated Jul 07, 2019
signatures are too permissive

#5957 · opened Mar 22, 2012 by C Maeder 3 Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Type checking arrow notation in the presence of deferred constraints

#5609 · opened Nov 07, 2011 by dreixel 7.6.2 3 Arrows Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Arrow command combinators and infixr cause the desugarer to fail

#5333 · opened Jul 20, 2011 by peteg 8.0.1 3 Arrows Plow Trac import bug parser typechecker
- CLOSED
- 13
updated Jul 07, 2019
Very slow constraint solving for type families

#5321 · opened Jul 13, 2011 by Simon Peyton Jones 7.6.1 3 Plow Trac import bug compiler perf typechecker
- CLOSED
- 5
updated Jul 07, 2019
Add explicit type applications

#5296 · opened Jul 03, 2011 by dsf 8.0.1 3 Plow Trac import bug feature request typechecker
- CLOSED
- 27
updated Jul 07, 2019
Missing type checks for arrow command combinators

#5267 · opened Jun 22, 2011 by peteg 8.0.1 3 Arrows Plow Trac import broken test bug typechecker
- 22
updated Jul 07, 2019

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