Issues · Glasgow Haskell Compiler / GHC · GitLab

Type applications in patterns should also work for universal type variables

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

#15918 · opened Nov 19, 2018 by Icelandjack ⊥ 5 Pnormal Tbug Trac import TypeApplications
- 17
updated Jul 07, 2019
Visible type/kind applications in declaration of data/type constructors

#15782 · opened Oct 19, 2018 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications
- 7
updated Mar 15, 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 · opened Sep 03, 2018 by kindaro 9.2.1 5 Pnormal Tfeature request Trac import TypeApplications error messages typechecker
- 3
updated Jan 25, 2021
GHC incorrectly warns that a scoped type variable used in a term's body is unused

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

#13042 · opened Dec 29, 2016 by Icelandjack 5 Pnormal PatternSynonyms Tfeature request Trac import TypeApplications
- 2
updated Jul 07, 2019
Out of scope error not reported

#12794 · opened Nov 01, 2016 by Simon Peyton Jones 5 Pnormal Tbug Trac import TypeApplications
- 2
updated Jul 07, 2019
TypeApplications allows instantiation of implicitly-quantified kind variables

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

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

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

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

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

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

#11352 · opened 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 · opened Jan 04, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications Typeable core libraries
- 9
updated Jul 07, 2019