Issues · Glasgow Haskell Compiler / GHC · GitLab

Internal error with PartialTypeSignatures and TH

#15433 · opened Jul 23, 2018 by Krzysztof Gogolewski 9.2.1 5 Pnormal Tbug Trac import partial type sigs
- 4
updated Jan 23, 2021
Regression with PartialTypeSignatures in 8.10

#18008 · opened Apr 03, 2020 by Adam Sandberg Eriksson 8.10.2 Phighest RankNTypes Tbug partial type sigs
- CLOSED
- 3
- 6
updated Sep 03, 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
GHC HEAD-only panic with PartialTypeSignatures

#16728 · opened May 31, 2019 by Ryan Scott 8.10.1 10 Phighest PolyKinds partial type sigs
- CLOSED
- 1
- 2
updated Jul 07, 2019
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
Bizarre pretty-printing of inferred Coercible constraint in partial type signature

#15039 · opened Apr 16, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType error messages partial type sigs typechecker
- CLOSED
- 9
updated Jul 07, 2019
GHC 8.4.1-alpha regression with PartialTypeSignatures

#14715 · opened Jan 24, 2018 by Ryan Scott 8.4.1 10 Phighest Tbug Trac import partial type sigs typechecker
- CLOSED
- 4
updated Jul 07, 2019
Partial type signatures in class constraints behave unexpectedly

#14643 · opened Jan 07, 2018 by mnislaih 8.4.1 5 Pnormal Tbug Trac import partial type sigs
- CLOSED
- 6
updated Jul 07, 2019
kinded holes

#14265 · opened Sep 21, 2017 by lspitzner 8.4.1 5 Pnormal Tfeature request Trac import partial type sigs typechecker
- CLOSED
- 5
updated Jul 07, 2019
Multiple constraint wildcards allowed with PartialTypeSignatures

#10242 · opened Apr 05, 2015 by Matthew Pickering 8.0.1 5 Pnormal Tbug Trac import partial type sigs
- CLOSED
- 6
updated Jul 07, 2019
Partial type signature variable confuses instance solving

#19106 · opened Dec 22, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 2
- 2
updated Jan 25, 2021
Allow named wildcards in constraints

#19051 · opened Dec 10, 2020 by sheaf partial type sigs typechecker
- 8
updated Dec 23, 2020
Type wildcard infers differently than no type signature

#19013 · opened Dec 01, 2020 by dminuoso Pnormal Tbug partial type sigs typechecker
- 1
updated Dec 10, 2020
Partial type signature algorithm fails to infer constraints in the presence of GADTs

#19010 · opened Nov 30, 2020 by sheaf Pnormal Tbug partial type sigs typechecker
- 16
updated Dec 20, 2020
Investigate touchable meta-variables in Givens

#18929 · opened Nov 07, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 9
updated Jan 02, 2021
Wildcards in standalone kind signatures

#17432 · opened Nov 04, 2019 by Richard Eisenberg Pnormal StandaloneKindSignatures Tfeature request partial type sigs typechecker
- 3
updated Jan 12, 2020
Poor interaction between functional dependencies and partial type signatures

#17024 · opened Aug 04, 2019 by David Feuer FunctionalDependencies Pnormal Tbug partial type sigs program incorrectly rejected typechecker
- CLOSED
- 2
- 12
updated Mar 12, 2020
Partial type signatures sometimes gets their ordering wrong

#16763 · opened Jun 06, 2019 by Richard Eisenberg Tbug partial type sigs
- 0
updated Jun 08, 2019
Location for extra-constraints wildcards is wrong

#16431 · opened Mar 13, 2019 by Simon Peyton Jones Tbug error messages partial type sigs
- CLOSED
- 2
updated Jul 29, 2020
Named wildcards require PartialTypeSignatures in visible kind applications, but not type applications

#16421 · opened Mar 11, 2019 by Ryan Scott 5 Pnormal TypeApplications partial type sigs
- CLOSED
- 2
updated Jul 07, 2019