Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC 8.2 regression: "Can't find interface-file declaration" for promoted data family instance

#13915 · opened Jul 02, 2017 by Ryan Scott 8.2.1 7 Phigh Trac import TypeFamilies TypeInType Typeable bug
- CLOSED
- 5
updated Jul 07, 2019
Can't apply higher-ranked kind in type family

#13913 · opened Jul 02, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Inlining a definition causes GHC to panic (repSplitTyConApp_maybe)

#13910 · opened Jul 01, 2017 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Misleading error message when partially applying a data type with a visible quantifier in its kind

#13909 · opened Jul 01, 2017 by Ryan Scott 8.4.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
"Illegal constraint in a type" error - is it fixable?

#13895 · opened Jun 29, 2017 by Ryan Scott 8.6.1 5 ImpredicativeTypes Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Strange interaction between higher-rank kinds and type synonyms

#13879 · opened Jun 26, 2017 by Ryan Scott 8.2.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Strange Typeable error message involving TypeInType

#13872 · opened Jun 24, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType Typeable bug error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHC panic in 8.2 only: typeIsTypeable(Coercion)

#13871 · opened Jun 23, 2017 by Ryan Scott 8.2.1 7 Phigh Trac import TypeInType Typeable bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC not using injectivity?

#13822 · opened Jun 13, 2017 by Icelandjack 8.2.1 5 Pnormal Trac import TypeInType bug injective type families
- CLOSED
- 5
updated Jul 07, 2019
GHC doesn't reduce type family in kind signature unless its arm is twisted

#13790 · opened Jun 05, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
(a :: (k :: Type)) is too exotic for Template Haskell

#13781 · opened Jun 02, 2017 by Ryan Scott 8.4.1 5 Pnormal TemplateHaskell Trac import TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019
Nightmarish pretty-printing of equality type in GHC 8.2 error message

#13780 · opened Jun 02, 2017 by Ryan Scott 8.4.1 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
Poor error message around CUSKs

#13777 · opened Jun 02, 2017 by Richard Eisenberg 8.6.1 5 CUSKs Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
TypeInType is not documented in the users' guide flag reference

#13762 · opened May 27, 2017 by Ryan Scott 8.2.1 5 Pnormal Trac import TypeInType bug documentation
- CLOSED
- 3
updated Jul 07, 2019
Can't create poly-kinded GADT with TypeInType enabled, but can without

#13761 · opened May 27, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Poor error message which masks occurs-check failure

#13674 · opened May 09, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Core lint error with TypeInType and TypeFamilyDependencies

#13643 · opened May 04, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug injective type families
- CLOSED
- 6
updated Jul 07, 2019
GHC internal error: ‘Y’ is not in scope during type checking, but it passed the renamer

#13625 · opened Apr 28, 2017 by Matthew Pickering 8.2.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Can't resolve levity polymorphic superclass

#13603 · opened Apr 22, 2017 by Icelandjack 8.2.1 5 Pnormal Trac import TypeInType bug levity polymorphism
- CLOSED
- 7
updated Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds

#13555 · opened Apr 09, 2017 by Ryan Scott 8.2.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 11
updated Jul 07, 2019

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