Issues · Glasgow Haskell Compiler / GHC · GitLab

Poly-kinded rewrite rule fails to typecheck (HEAD only)

#17710 · opened Jan 19, 2020 by Ryan Scott 9.0.1 10 Phighest PolyKinds bug rules typechecker
- CLOSED
- 2
- 9
updated Mar 15, 2020
Poor interaction between functional dependencies and partial type signatures

#17024 · opened Aug 04, 2019 by David Feuer FunctionalDependencies Pnormal bug partial type sigs program incorrectly rejected typechecker
- CLOSED
- 2
- 12
updated Mar 12, 2020
QuantifiedConstraints don't kick in when used in TypeApplications

#14883 · opened Mar 03, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 9
updated Mar 10, 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 bug deferred type errors typechecker
- CLOSED
- 5
updated Feb 18, 2020
Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical

#17827 · opened Feb 12, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 2
- 1
updated Feb 14, 2020
Let-bound wildcards are not let-generalised

#17367 · opened Oct 16, 2019 by Sebastian Graf typechecker
- CLOSED
- 7
updated Feb 05, 2020
A type-level "implies" constraint on Constraints

#5927 · opened Mar 11, 2012 by illissius 8.0.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 31
updated Feb 05, 2020
Instantiation doesn't look through dictionaries

#17789 · opened Feb 05, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 1
updated Feb 05, 2020
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)

#15883 · opened Nov 09, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes bug compiler crash typechecker
- CLOSED
- 6
updated Jan 17, 2020
GHC 8 superclass chain constraint regression

#11762 · opened Mar 28, 2016 by Serge Kosyrev 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 6
updated Jan 13, 2020
Evidence for equality constraints on typeclass methods isn’t erased

#17625 · opened Dec 29, 2019 by Alexis King Pnormal bug typechecker
- CLOSED
- 10
updated Jan 08, 2020
Closed type family declaration accepts any name in LHS

#17633 · opened Jan 03, 2020 by Maxim Koltsov 8.8.1 Pnormal TypeFamilies bug program incorrectly accepted typechecker
- CLOSED
- 1
- 2
- 2
updated Jan 03, 2020
Regression involving unboxed types and type families

#17541 · opened Dec 04, 2019 by Matthew Pickering Pnormal TypeInType bug program incorrectly rejected typechecker
- CLOSED
- 2
- 9
updated Dec 12, 2019
untouchable type inside the constraints

#14539 · opened Nov 28, 2017 by Lemming 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Dec 08, 2019
GHC internal error with strange scoping (GHC HEAD regression)

#16418 · opened Mar 11, 2019 by Ryan Scott 8.10.1 10 Phighest typechecker
- CLOSED
- 3
updated Nov 08, 2019
`tcMatchTy` is terribly broken

#17395 · opened Oct 23, 2019 by Simon Peyton Jones 8.10.1 Pnormal bug typechecker
- CLOSED
- 2
- 1
updated Nov 01, 2019
BangPatterns in PatternGuards don't work like docs would suggest

#17343 · opened Oct 11, 2019 by Jakob Brünker 8.10.1 3 Plow typechecker
- CLOSED
- 2
- 6
updated Oct 16, 2019
Quantification by level numbers would fail

#16767 · opened Jun 06, 2019 by Richard Eisenberg bug typechecker
- CLOSED
- 2
updated Oct 14, 2019
Compiler ignores Typeable constraint

#17060 · opened Aug 14, 2019 by Robert Peszek 8.10.1 Pnormal Typeable documentation typechecker
- CLOSED
- 2
- 1
- 7
updated Oct 08, 2019
Datatypes cannot use a type family in their return kind

#14042 · opened Jul 27, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 16
updated Oct 07, 2019

Prev
1
2
3
4
5
6
7
8
9
…
49
Next