Issues · Glasgow Haskell Compiler / GHC · GitLab

Regression with PartialTypeSignatures in 8.10

#18008 · opened Apr 03, 2020 by Adam Sandberg Eriksson 8.10.2 Phighest RankNTypes backport needed:8.10 bug partial type sigs
- 2
- 5
updated Jun 04, 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
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
Inconsistent validity checking for unnamed vs. named wildcards

#16420 · opened Mar 11, 2019 by Ryan Scott Pnormal partial type sigs 5
- 2
updated Jul 07, 2019
Unhelpful names for wildcard type variables

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

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

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

#15433 · opened Jul 23, 2018 by Krzysztof Gogolewski 8.12.1 Pnormal Trac import bug partial type sigs 5
- 4
updated Jan 23, 2020
Hole-y partial type signatures greatly slow down compile times

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

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

#11641 · opened Feb 25, 2016 by Icelandjack FunctionalDependencies Plow Trac import feature request partial type sigs typechecker 0
- 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 Pnormal Trac import bug error messages partial type sigs typed holes 5
- 5
updated Jul 07, 2019
Partial type signatures should work in pattern synonym signatures

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