Issues · Glasgow Haskell Compiler / GHC · GitLab

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
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
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
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
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