Issues · Glasgow Haskell Compiler / GHC · GitLab

Missing improvement for fun. deps.

#4894 · opened Jan 17, 2011 by Iavor S. Diatchki 5 Pnormal Tbug Tfeature request Trac import typechecker
- 11
updated Jul 07, 2019
Relax restrictions on type family instance overlap

#4259 · opened Aug 16, 2010 by lilac 8.0.1 5 Pnormal Tfeature request Trac import injective type families typechecker
- 32
updated Jul 07, 2019
require -XGADTs in order to pattern-match GADTs

#2905 · opened Jan 01, 2009 by guest 6.12 branch 5 Pnormal Tbug Trac import typechecker
- 8
updated Aug 26, 2020
Confusing type error message

#1928 · opened Nov 25, 2007 by josef 3 Plow Tbug Trac import error messages typechecker
- 5
updated Jul 07, 2019
Add a total order on type constructors

#1894 · opened Nov 14, 2007 by guest 8.0.1 0 Plow Tfeature request Trac import typechecker
- 16
updated Jul 07, 2019
Type checker does not use functional dependency to avoid ambiguity

#1614 · opened Aug 14, 2007 by guest 5 Pnormal Tbug Trac import typechecker
- 11
updated Jul 07, 2019
Provide way to show the origin of a constraint

#1451 · opened Jun 22, 2007 by iampure@gmail.com 5 Pnormal Tfeature request Trac import typechecker
- 5
updated Jul 07, 2019
Problem with GADTs and explicit type signatures

#1158 · opened Feb 20, 2007 by guest 0 GADTs Plow Tbug Trac import typechecker
- 5
updated Jul 07, 2019
Weird fundep behavior (with -fallow-undecidable-instances)

#816 · opened Jul 06, 2006 by nibro 5 FunctionalDependencies Pnormal Tbug Trac import typechecker
- 1
- 13
updated Nov 24, 2020
Various poor type error messages

#589 · opened Dec 07, 2005 by Peter A Jonsson [pj@ludd.ltu.se] 3 Plow Tbug Trac import error messages typechecker
- 9
updated Jul 07, 2019
Supertyping of classes

#472 · opened Oct 20, 2005 by nobody 5 Pnormal Tfeature request Trac import typechecker
- 4
updated Jul 07, 2019
GADT - fundep interaction

#345 · opened Apr 08, 2005 by bring 3 GADTs Plow Tbug Trac import broken test typechecker
- 16
updated Jul 07, 2019
arrow notation: incorrect scope of existential dictionaries

#344 · opened Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Tbug Trac import typechecker
- 23
updated Mar 12, 2021

Prev
1
…
10
11
12
13
14
Next