Issues · Glasgow Haskell Compiler / GHC · GitLab

Confusing type error message

#1928 · created 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 · created 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 · created 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 · created 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 · created 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 · created Jul 06, 2006 by nibro 5 FunctionalDependencies Pnormal Tbug Trac import typechecker
- 1
- 13
updated Nov 24, 2020
Various poor type error messages

#589 · created 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 · created Oct 20, 2005 by nobody 5 Pnormal Tfeature request Trac import typechecker
- 4
updated Jul 07, 2019
GADT - fundep interaction

#345 · created 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 · created Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Tbug Trac import typechecker
- 23
updated Mar 12, 2021

Prev
1
…
12
13
14
15
16
Next