Issues · Glasgow Haskell Compiler / GHC · GitLab

Visible kind application defeats type family with higher-rank result kind

#16255 · opened Jan 29, 2019 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeApplications TypeFamilies typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC HEAD regression: piResultTys1

#16347 · opened Feb 20, 2019 by Ryan Scott 8.10.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 6
updated Jul 07, 2019
`TypeError` in a pattern should flag inaccessible code

#16377 · opened Mar 01, 2019 by Iavor S. Diatchki 5 Pnormal Tbug Trac import custom type errors typechecker
- CLOSED
- 2
updated Jul 07, 2019
Regression: Implicitly kind variables not in scope

#16381 · opened Mar 03, 2019 by Ben Gamari 8.10.1 10 Phighest Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC internal error while typechecking of instance definition

#16394 · opened Mar 05, 2019 by Day1721 8.8.1 3 Plow Tbug Trac import error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
Can't write instances of higher-rank kinded variables

#16596 · opened Apr 20, 2019 by Icelandjack Tquestion typechecker
- CLOSED
- 3
updated May 19, 2019
Pass separation for TyClDecl LHS and RHS

#16630 · opened May 06, 2019 by Vladislav Zavialov Tquestion typechecker
- CLOSED
- 5
updated May 19, 2019
incorrect type-defaults warning for lambda expressions

#16651 · opened May 12, 2019 by george.colpitts Tquestion typechecker
- CLOSED
- 2
updated May 19, 2019

Prev
1
…
46
47
48
49
50
Next