Issues · Glasgow Haskell Compiler / GHC · GitLab

Eta reduce type synonyms when possible

#12701 · opened Oct 14, 2016 by Edward Z. Yang 0 Plow Trac import backpack feature request typechecker
- CLOSED
- 2
updated Jul 07, 2019
Typechecker panic instead of proper error

#12055 · opened May 13, 2016 by Ben Gamari 8.2.1 0 Plow Trac import bug compiler crash typechecker
- CLOSED
- 7
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
Non-ideal error with a kind error in a tuple

#8514 · opened Nov 09, 2013 by Krzysztof Gogolewski 0 Plow Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Odd probable cause given by type checker

#2534 · opened Aug 22, 2008 by red5_2@hotmail.com 7.6.1 0 Plow Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Impredicativity bug: Church2 test gives a rather confusing error with the HEAD

#1330 · opened May 05, 2007 by Ian Lynagh <igloo@earth.li> 8.0.1 0 ImpredicativeTypes Plow Trac import broken test bug typechecker
- CLOSED
- 4
- 12
updated Sep 24, 2020
Bad monomorphism-restriction-related type error message

#1090 · opened Jan 08, 2007 by kirsten 0 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Somewhat bad type error message

#1089 · opened Jan 08, 2007 by kirsten 0 Plow Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Message order random due to sorting by uniques

#1053 · opened Dec 15, 2006 by Ian Lynagh <igloo@earth.li> 6.8.1 0 Plow Trac import bug typechecker
- CLOSED
- 3
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
BangPatterns in PatternGuards don't work like docs would suggest

#17343 · opened Oct 11, 2019 by Jakob Brünker 8.10.1 3 Plow typechecker
- CLOSED
- 2
- 6
updated Oct 16, 2019
GHC internal error while typechecking of instance definition

#16394 · opened Mar 05, 2019 by Day1721 8.8.1 3 Plow Trac import bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
defer-type-errors and equality constraints

#15624 · opened Sep 10, 2018 by Krzysztof Gogolewski 8.8.1 3 Plow Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
isUnliftedType GHC panic on pattern with True :: Maybe

#15289 · opened Jun 18, 2018 by Remi 8.6.1 3 Plow Trac import bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Empty case does not detect kinds

#14086 · opened Aug 03, 2017 by David Feuer 8.4.1 3 Plow Trac import TypeInType bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
Unhelpful error messages about lifted and unlifted types

#13610 · opened Apr 24, 2017 by Joachim Breitner 8.4.1 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Unfortunate compiler loop when creating type loop (with UndecidableInstances)

#13320 · opened Feb 22, 2017 by Ptival 8.2.1 3 Plow Trac import UndecideableInstances bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC should not allow modules to define instances of abstract type classes

#13068 · opened Jan 05, 2017 by Edward Z. Yang 8.2.1 3 Plow Trac import backpack broken test bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Permit abstract data types in signatures that don't have kind *

#12679 · opened Oct 10, 2016 by Edward Z. Yang 3 Plow Trac import backpack feature request typechecker
- CLOSED
- 7
updated Jul 07, 2019
Regression in type inference with RankNTypes

#12557 · opened Aug 31, 2016 by slindley 3 ImpredicativeTypes Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
…
49
Next