Issues · Glasgow Haskell Compiler / GHC · GitLab

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
functions without implementations

#393 · created May 26, 2005 by Ghost User 5 Pnormal Tfeature request Trac import newcomer typechecker
- 1
- 39
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

Prev
1
…
12
13
14
15
16
Next