Issues · Glasgow Haskell Compiler / GHC · GitLab

Permit data types in signatures to be implemented with equivalent pattern synonyms (and vice versa)

#12717 · opened Oct 16, 2016 by Edward Z. Yang 0 Plow Trac import backpack feature request typechecker
- 2
updated Jul 07, 2019
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
Equality constraint not available in pattern type signature (GADTs/ScopedTypeVariables)

#12018 · opened May 06, 2016 by Icelandjack 0 GADTs Plow ScopedTypeVariables Trac import bug typechecker
- 11
updated Jul 07, 2019
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened Feb 25, 2016 by Icelandjack 0 FunctionalDependencies Plow Trac import feature request partial type sigs typechecker
- 2
updated Jul 07, 2019
Extension request: "where" clauses in type signatures

#10794 · opened Aug 25, 2015 by danso 0 Plow Trac import feature request typechecker
- 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
Add a total order on type constructors

#1894 · opened Nov 14, 2007 by guest 8.0.1 0 Plow Trac import feature request typechecker
- 16
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
Problem with GADTs and explicit type signatures

#1158 · opened Feb 20, 2007 by guest 0 GADTs Plow Trac import bug typechecker
- 5
updated Jul 07, 2019
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
arrow notation: incorrect scope of existential dictionaries

#344 · opened Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Trac import bug typechecker
- 23
updated Aug 13, 2020
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 suggests that infix operators might have the wrong number of arguments

#16786 · opened Jun 08, 2019 by Chris Smith ⊥ 3 Plow error messages task typechecker
- 1
updated Jul 07, 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

Prev
1
2
3
4
5
…
62
Next