Issues · Glasgow Haskell Compiler / GHC · GitLab

Confusion around visible type application in pattern synonym pattern

#21501 · created May 04, 2022 by Richard Eisenberg 9.6.1 PatternSynonyms Tbug TypeApplications Typeable typechecker
- 1
updated May 06, 2022
Type application in pattern does not substitute correctly

#19847 · created May 14, 2021 by Richard Eisenberg Pnormal PatternSynonyms Tbug TypeApplications program incorrectly rejected typechecker
- 8
updated Jun 24, 2021
Type applications in patterns should also work for universal type variables

#19577 · created Mar 22, 2021 by Sebastian Graf Plow Tfeature request TypeApplications
- 10
updated Apr 08, 2021
mkCastTy sometimes drops insoluble (Type ~ Constraint) coercions

#15918 · created Nov 19, 2018 by Icelandjack ⊥ 5 Pnormal Tbug Trac import TypeApplications
- 17
updated May 23, 2022
Visible type/kind applications in declaration of data/type constructors

#15782 · created Oct 19, 2018 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications
- 8
updated Jul 22, 2021
When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!

#15596 · created Sep 03, 2018 by kindaro ⊥ 5 Pnormal Tfeature request Trac import TypeApplications error messages typechecker
- 4
updated Sep 07, 2021
GHC incorrectly warns that a scoped type variable used in a term's body is unused

#13512 · created Apr 02, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeApplications error messages typechecker
- 1
- 22
updated May 10, 2021
Allow type annotations / visible type application in pattern synonyms

#13042 · created Dec 29, 2016 by Icelandjack 5 Pnormal PatternSynonyms Tfeature request Trac import TypeApplications
- 2
updated Jul 07, 2019
TypeApplications allows instantiation of implicitly-quantified kind variables

#12569 · created Sep 04, 2016 by Alexey Vagarenko 5 Pnormal Tbug Trac import TypeApplications typechecker
- 3
updated Jul 07, 2019
Type application for infix

#12363 · created Jul 03, 2016 by Icelandjack 0 Plow Tfeature request Trac import TypeApplications parser
- 2
- 33
updated Jun 08, 2020
Premature defaulting and variable not in scope

#12085 · created May 19, 2016 by Icelandjack 5 Pnormal Ttask Trac import TypeApplications
- 3
updated Jul 07, 2019
Cannot instantiate literals using TypeApplications

#11409 · created Jan 11, 2016 by Feuerbach 5 Pnormal Tbug Trac import TypeApplications
- 31
updated Jan 23, 2020
Type application for operator sections

#11398 · created Jan 10, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications
- 1
updated Jul 07, 2019
Typecasting using type application syntax

#11387 · created Jan 09, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications
- 3
updated Jul 07, 2019
Allow applying type to label

#11352 · created Jan 04, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications typechecker
- 3
updated Jul 07, 2019
[TypeApplications] Create Proxy-free alternatives of functions in base

#11349 · created Jan 04, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications Typeable core libraries
- 9
updated Jul 07, 2019