Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Unhelpful names for wildcard type variables

#16203 · opened 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 · opened Jan 08, 2019 by Icelandjack 5 Pnormal Tbug Trac import 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 Tbug Trac import partial type sigs
- 4
updated Jun 05, 2020
Hole-y partial type signatures greatly slow down compile times

#14766 · opened Feb 06, 2018 by Alec Theriault 5 Pnormal Tbug Trac import compiler perf partial type sigs typechecker
- CLOSED
- 3
- 21
updated Apr 09, 2021
Partial type signatures + mutual recursion = confusion

#14662 · opened Jan 11, 2018 by Richard Eisenberg 5 Pnormal Tbug Trac import 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 Tbug Trac import partial type sigs
- CLOSED
- 2
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 Tbug Trac import TypeFamilies TypeInType compiler crash partial type sigs typechecker typed holes
- 17
updated Jan 23, 2020
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened 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 · opened 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 · opened Aug 20, 2015 by Matthew Pickering 5 Pnormal Tbug Trac import partial type sigs
- 0
updated Jul 07, 2019