Issues · Glasgow Haskell Compiler / GHC · GitLab

Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened Feb 25, 2016 by Icelandjack 0 FunctionalDependencies Plow Trac import feature request partial type sigs typechecker
- 2
updated Jul 07, 2019
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.2.1 5 Pnormal Trac import bug partial type sigs
- 4
updated Jan 23, 2021
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
Hole-y partial type signatures greatly slow down compile times

#14766 · opened Feb 06, 2018 by Alec Theriault 5 Pnormal Trac import bug compiler perf partial type sigs
- 7
updated Jul 07, 2019
Partial type signatures + mutual recursion = confusion

#14662 · opened Jan 11, 2018 by Richard Eisenberg 5 Pnormal Trac import bug partial type sigs
- 4
updated Jul 07, 2019
'Fix two more bugs in partial signatures' broke T10846

#14658 · opened Jan 10, 2018 by niteria 5 Pnormal Trac import bug partial type sigs
- CLOSED
- 2
updated Jul 07, 2019
Partial type signatures in class constraints behave unexpectedly

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

#14265 · opened Sep 21, 2017 by lspitzner 8.4.1 5 Pnormal Trac import feature request partial type sigs typechecker
- CLOSED
- 5
updated Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · opened Jul 27, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug compiler crash partial type sigs typechecker typed holes
- 17
updated Jan 23, 2020
Unexpected defaulting of partial type signatures and inconsistent behaviour when -fdefer-typed-holes is set.

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

#10783 · opened Aug 20, 2015 by Matthew Pickering 5 Pnormal Trac import bug partial type sigs
- 0
updated Jul 07, 2019
Multiple constraint wildcards allowed with PartialTypeSignatures

#10242 · opened Apr 05, 2015 by Matthew Pickering 8.0.1 5 Pnormal Trac import bug partial type sigs
- CLOSED
- 6
updated Jul 07, 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
GHC 8.4.1-alpha regression with PartialTypeSignatures

#14715 · opened Jan 24, 2018 by Ryan Scott 8.4.1 10 Phighest Trac import bug partial type sigs typechecker
- CLOSED
- 4
updated Jul 07, 2019