Issues · Glasgow Haskell Compiler / GHC · GitLab

Bogus "No instance" error when type families appear in kinds

#15515 · opened Aug 13, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
Error message prints invisible kind arguments in a visible matter

#15330 · opened Jul 02, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
Typed hole with higher-rank kind causes GHC to panic (No skolem info)

#15076 · opened Apr 22, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check

#14887 · opened Mar 03, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 13
updated Jul 07, 2019
Type family equation refuses to unify wildcard type patterns

#14366 · opened Oct 18, 2017 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances

#14230 · opened Sep 14, 2017 by Ryan Scott 8.8.1 7 Phigh Trac import TypeInType bug error messages typechecker
- CLOSED
- 6
updated Jul 07, 2019
Cannot use higher-rank kinds with type families

#11719 · opened Mar 18, 2016 by Ollie Charles 8.8.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 23
updated Jul 07, 2019
Add -fshow-runtime-rep

#11549 · opened Feb 06, 2016 by Richard Eisenberg 8.8.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 20
updated Jul 07, 2019
Visible kind application

#12045 · opened May 11, 2016 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications TypeInType feature request ghc proposal
- CLOSED
- 18
updated Jul 07, 2019
GHC HEAD regression: piResultTys1

#16347 · opened Feb 20, 2019 by Ryan Scott 8.10.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 6
updated Jul 07, 2019
Compile-time stack overflow exception in GHC HEAD only

#16902 · opened Jul 02, 2019 by Ryan Scott 8.10.1 TypeInType bug
- CLOSED
- 5
- 3
updated Jul 05, 2019
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT

#16391 · opened Mar 05, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 27, 2020
Rework GHC's treatment of constraints in kinds

#16263 · opened Jan 31, 2019 by Richard Eisenberg 8.10.1 5 Pnormal Trac import TypeInType bug newcomer
- CLOSED
- 14
updated Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)

#16247 · opened Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)

#15883 · opened Nov 09, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes bug compiler crash typechecker
- CLOSED
- 6
updated Jan 17, 2020
Odd pretty printing of equality constraint in kind ('GHC.Types.Eq# <>)

#15872 · opened Nov 07, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType bug error messages
- CLOSED
- 5
- 11
updated Jul 07, 2019
“Constraints in kinds” illegal family application in instance (+ documentation issues?)

#12102 · opened May 22, 2016 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
- 23
updated Jul 07, 2019
Allow runtime-representation polymorphic data families

#12766 · opened Oct 26, 2016 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes feature request
- CLOSED
- 3
updated Jul 07, 2019
TypeApplications-related infinite loop (GHC 8.6+ only)

#15577 · opened Aug 29, 2018 by Ryan Scott 8.8.2 7 Phigh Trac import TypeApplications TypeInType bug compiler perf typechecker
- CLOSED
- 14
updated Aug 30, 2019
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021

Prev
1
…
3
4
5
6
7
8
9
10
11
Next