Issues · Glasgow Haskell Compiler / GHC · GitLab

"lookup_final_id" panic (out of scope type application + deferred type errors)

#17792 · opened Feb 05, 2020 by sheaf 8.10.2 Pnormal TypeApplications backport needed:8.10 bug compiler crash
- 2
- 3
updated Jun 04, 2020
Associated type family can't be used at the kind level within other parts of parent class

#15942 · opened Nov 23, 2018 by Icelandjack 8.6.3 Pnormal Trac import TypeApplications TypeInType bug 5
- 7
updated Jan 10, 2020
mkCastTy sometimes drops insoluble (Type ~ Constraint) coercions

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

#15782 · opened Oct 19, 2018 by Icelandjack Pnormal Trac import TypeApplications feature request 5
- 5
updated May 04, 2020
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.0.1 Pnormal Trac import TypeApplications error messages feature request typechecker 5
- 3
updated Jan 23, 2020
GHC incorrectly warns that a scoped type variable used in a term's body is unused

#13512 · opened Apr 02, 2017 by Ryan Scott Pnormal Trac import TypeApplications bug error messages typechecker 5
- 1
- 7
updated Jun 30, 2020
Allow type annotations / visible type application in pattern synonyms

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

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

#12569 · opened Sep 04, 2016 by Alexey Vagarenko Pnormal Trac import TypeApplications bug typechecker 5
- 3
updated Jul 07, 2019
Doesn't suggest TypeApplications when `~` used prefix

#12446 · opened Jul 28, 2016 by Icelandjack Pnormal Trac import TypeApplications bug 5
- 2
updated Jul 07, 2019
Type application for infix

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

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

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

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

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

#11352 · opened Jan 04, 2016 by Icelandjack Pnormal Trac import TypeApplications feature request typechecker 5
- 3
updated Jul 07, 2019
Allow visible type application in patterns

#11350 · opened Jan 04, 2016 by Icelandjack Pnormal PatternSynonyms Trac import TypeApplications feature request 5
- 1
- 1
- 25
updated May 05, 2020
[TypeApplications] Create Proxy-free alternatives of functions in base

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