Issues · Glasgow Haskell Compiler / GHC · GitLab

Extra-constraints wildcards in instance declarations

#21416 · created Apr 22, 2022 by Adam Gundry Pnormal Tfeature request partial type sigs
- 3
updated May 09, 2022
Partial kind signatures and synonyms

#20154 · created Jul 23, 2021 by Krzysztof Gogolewski Plow Tbug partial type sigs
- 1
updated Jul 27, 2021
Partial type signatures regression around simplifiable constraints

#20076 · created Jul 04, 2021 by Richard Eisenberg Pnormal Tbug constraint solver partial type sigs
- 5
updated Jan 25, 2022
Allow named wildcards in constraints

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

#19013 · created 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 · created Nov 30, 2020 by sheaf Pnormal Tbug partial type sigs typechecker
- 16
updated Dec 20, 2020
Wildcards in standalone kind signatures

#17432 · created Nov 04, 2019 by Richard Eisenberg Pnormal StandaloneKindSignatures Tfeature request partial type sigs typechecker
- 3
updated Jan 12, 2020
Partial type signatures sometimes gets their ordering wrong

#16763 · created Jun 06, 2019 by Richard Eisenberg Tbug partial type sigs
- 0
updated Jun 08, 2019
Inconsistent validity checking for unnamed vs. named wildcards

#16420 · created Mar 11, 2019 by Ryan Scott 5 Pnormal partial type sigs
- 2
updated Dec 11, 2020
Unhelpful names for wildcard type variables

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

#16152 · created Jan 08, 2019 by Icelandjack 5 Pnormal Tbug Trac import core lint partial type sigs
- 3
updated Jan 03, 2022
Sort out treatment of underscores in types

#16082 · created Dec 21, 2018 by Richard Eisenberg 5 Pnormal Tbug Trac import partial type sigs
- 4
updated Jun 05, 2020
Partial type signatures + mutual recursion = confusion

#14662 · created Jan 11, 2018 by Richard Eisenberg 5 Pnormal Tbug Trac import partial type sigs
- 4
updated Jul 07, 2019
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · created Feb 25, 2016 by Icelandjack 0 FunctionalDependencies Plow Tfeature request Trac import partial type sigs typechecker
- 2
updated Jul 07, 2019
Unexpected defaulting of partial type signatures and inconsistent behaviour when -fdefer-typed-holes is set.

#10875 · created Sep 13, 2015 by holzensp 5 Pnormal Tbug Trac import error messages partial type sigs typed holes
- 5
updated Jul 07, 2019
Partial type signatures should work in pattern synonym signatures

#10783 · created Aug 20, 2015 by Matthew Pickering 5 Pnormal Tbug Trac import partial type sigs
- 0
updated Jul 07, 2019