Issues · Glasgow Haskell Compiler / GHC · GitLab

Bad location for violation of functional dependency

#415 · opened Jul 07, 2005 by magunter 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
instance of synonym

#416 · opened Jul 07, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
TcSimplify.lhs:(2093,13)-(2094,38): Non-exhaustive patterns

#419 · opened Jul 12, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Result type signatures and lexically scoped type variables

#430 · opened Jul 31, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
panic with bad data/class definition.

#444 · opened Aug 30, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
ghc is confused about instances of Ord

#446 · opened Aug 31, 2005 by greenrd 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC poor type-checker error message

#451 · opened Sep 04, 2005 by isaacdupree 5 Pnormal Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
panic:Unify.unifyTauTyLists

#456 · opened Sep 14, 2005 by volkersf 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
reporting the origin of kind errors

#460 · opened Sep 16, 2005 by nokta_kanto 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Supertyping of classes

#472 · opened Oct 20, 2005 by nobody 5 Pnormal Trac import feature request typechecker
- 4
updated Jul 07, 2019
Various poor type error messages

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

#625 · opened Dec 10, 2005 by hjgtuyl (at) chello (dot) nl 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Non-exhaustive patterns in function zip_ty_env

#644 · opened Jan 03, 2006 by Simon Marlow 6.4.2 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
ASSERT fails on newtype + forall

#646 · opened Jan 04, 2006 by guest 6.6 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Confusion about types

#663 · opened Jan 18, 2006 by guest 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Bad error message: varying arguments

#674 · opened Jan 28, 2006 by guest 5 Pnormal Trac import feature request typechecker
- CLOSED
- 5
updated Jul 07, 2019
Inconsistency between handling functional dependencies in class and signature constraints

#714 · opened Mar 07, 2006 by claus.reinke@talk21.com 6.12 branch 3 Plow Trac import feature request typechecker
- CLOSED
- 13
updated Jul 07, 2019
Spurious type variable scope error report

#734 · opened Mar 26, 2006 by red5_2@hotmail.com 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Weird fundep behavior (with -fallow-undecidable-instances)

#816 · opened Jul 06, 2006 by nibro 5 FunctionalDependencies Pnormal Trac import bug typechecker
- 1
- 13
updated Nov 24, 2020
Cryptic type error message (should be syntax error)

#919 · opened Oct 02, 2006 by Josef Svenningsson 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
63
Next