Issues · Glasgow Haskell Compiler / GHC · GitLab

TypeError hides a second error message

#16894 · opened Jul 02, 2019 by Joey Hess 5 Pnormal Tbug custom type errors error messages typechecker user-facing
- 2
updated Jan 23, 2020
GHC panic: "StgCmmEnv: variable not found" - Something with MonoLocalBinds, type inference and -fdefer-type-errors

#16887 · opened Jul 01, 2019 by Berengal 5 Pnormal Tbug typechecker
- 6
updated Nov 14, 2020
GHCi panics using -fdefer-type-errors when pattern matching on types with multiple constructors using out-of-scope variables

#16877 · opened Jun 26, 2019 by Berengal 8.8.2 Tbug deferred type errors typechecker
- CLOSED
- 5
updated Feb 18, 2020
Don't zap naughty quantification candidates: error instead

#16775 · opened Jun 07, 2019 by Richard Eisenberg 8.8.2 Tbug partial type sigs typechecker
- CLOSED
- 13
- 9
updated Dec 15, 2020
Quantification by level numbers would fail

#16767 · opened Jun 06, 2019 by Richard Eisenberg Tbug typechecker
- CLOSED
- 2
updated Oct 14, 2019
Prevent `rewriteEvidence` from converting a W into a WD

#16735 · opened Jun 02, 2019 by nfrisby Tbug typechecker
- 1
- 2
updated Jan 23, 2020
Order of declarations affects which programs are accepted (type families and existentials)

#16693 · opened May 24, 2019 by Iavor S. Diatchki ExistentialQuantification Tbug TypeFamilies program incorrectly rejected typechecker
- 5
updated Jan 23, 2020
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov Tbug TypeInType typechecker
- 1
- 22
updated Sep 25, 2019
Trouble resolving Typeable 'LiftedRep

#16627 · opened May 03, 2019 by David Feuer Tbug Typeable typechecker
- 11
updated Jan 08, 2021
Only skip decls with CUSKs in kcLTyClDecl with PolyKinds on

#16609 · opened Apr 29, 2019 by Ningning Xie 8.10.1 CUSKs Tbug typechecker
- CLOSED
- 5
- 8
updated Nov 02, 2020
GHC internal error while typechecking of instance definition

#16394 · opened Mar 05, 2019 by Day1721 8.8.1 3 Plow Tbug Trac import error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT

#16391 · opened Mar 05, 2019 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 27, 2020
`TypeError` in a pattern should flag inaccessible code

#16377 · opened Mar 01, 2019 by Iavor S. Diatchki 5 Pnormal Tbug Trac import custom type errors typechecker
- CLOSED
- 2
updated Jul 07, 2019
Cannot deduce constraint from itself with poly-kinded type family

#16374 · opened Mar 01, 2019 by roland 5 Pnormal Tbug Trac import error messages typechecker
- 2
updated Jul 07, 2019
GHC should be more forgiving with visible dependent quantification in visible type applications

#16371 · opened Feb 27, 2019 by Ryan Scott 5 Pnormal Tbug Trac import typechecker visible dependent quantification
- 4
updated Nov 09, 2020
Unexpected type application in default declaration

#16356 · opened Feb 22, 2019 by Vladislav Zavialov 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
- 3
updated May 05, 2020
Named wildcards in kinds

#16334 · opened Feb 17, 2019 by Vladislav Zavialov 8.10.1 5 Pnormal Tbug Trac import partial type sigs typechecker
- CLOSED
- 2
updated Mar 26, 2020
Visible kind application defeats type family with higher-rank result kind

#16255 · opened Jan 29, 2019 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeApplications TypeFamilies typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)

#16247 · opened Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints RankNTypes Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 4
- 9
updated Dec 31, 2020

Prev
1
…
5
6
7
8
9
10
11
12
13
…
63
Next