Issues · Glasgow Haskell Compiler / GHC · GitLab

Allow named wildcards in constraints

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

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

#17432 · opened 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 · opened Jun 06, 2019 by Richard Eisenberg Tbug partial type sigs
- 0
updated Jun 08, 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
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
Internal error with PartialTypeSignatures and TH

#15433 · opened Jul 23, 2018 by Krzysztof Gogolewski 9.2.1 5 Pnormal Tbug Trac import partial type sigs
- 4
updated Jan 23, 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
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