Issues · Glasgow Haskell Compiler / GHC · GitLab

Partial type signature variable confuses instance solving

#19106 · opened Dec 22, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- 2
- 0
updated Jan 22, 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 bug 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 bug 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
Regression with PartialTypeSignatures in 8.10

#18008 · opened Apr 03, 2020 by Adam Sandberg Eriksson 8.10.2 Phighest RankNTypes bug partial type sigs
- CLOSED
- 3
- 6
updated Sep 03, 2020
Wildcards in standalone kind signatures

#17432 · opened Nov 04, 2019 by Richard Eisenberg Pnormal StandaloneKindSignatures feature 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 bug partial type sigs program incorrectly rejected typechecker
- CLOSED
- 2
- 12
updated Mar 12, 2020
Don't zap naughty quantification candidates: error instead

#16775 · opened Jun 07, 2019 by Richard Eisenberg 8.8.2 bug partial type sigs typechecker
- CLOSED
- 13
- 9
updated Dec 15, 2020
Partial type signatures sometimes gets their ordering wrong

#16763 · opened Jun 06, 2019 by Richard Eisenberg bug partial type sigs
- 0
updated Jun 08, 2019
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
Location for extra-constraints wildcards is wrong

#16431 · opened Mar 13, 2019 by Simon Peyton Jones bug 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
Inconsistent validity checking for unnamed vs. named wildcards

#16420 · opened Mar 11, 2019 by Ryan Scott 5 Pnormal partial type sigs
- 2
updated Dec 11, 2020
Named wildcards in kinds

#16334 · opened Feb 17, 2019 by Vladislav Zavialov 8.10.1 5 Pnormal Trac import bug partial type sigs typechecker
- CLOSED
- 2
updated Mar 26, 2020
Unhelpful names for wildcard type variables

#16203 · opened Jan 18, 2019 by Simon Peyton Jones 5 Pnormal Trac import bug partial type sigs
- 5
updated Jul 07, 2019
Core lint error from PartialTypeSignatures

#16152 · opened Jan 08, 2019 by Icelandjack 5 Pnormal Trac import bug partial type sigs
- 3
updated Sep 02, 2019
Sort out treatment of underscores in types

#16082 · opened Dec 21, 2018 by Richard Eisenberg 5 Pnormal Trac import bug partial type sigs
- 4
updated Jun 05, 2020
Internal error with PartialTypeSignatures and TH

#15433 · opened Jul 23, 2018 by Krzysztof Gogolewski 9.0.1 5 Pnormal Trac import bug partial type sigs
- 4
updated Jan 23, 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 Trac import TypeInType bug error messages partial type sigs typechecker
- CLOSED
- 9
updated Jul 07, 2019