Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC doesn't reduce type family in kind signature unless its arm is twisted

#13790 · opened Jun 05, 2017 by Ryan Scott Pnormal Trac import TypeFamilies TypeInType bug typechecker 5
- 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 Pnormal TemplateHaskell Trac import TypeInType bug 5
- 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 Pnormal Trac import TypeInType bug error messages typechecker 5
- CLOSED
- 7
updated Jul 07, 2019
Poor error message around CUSKs

#13777 · opened Jun 02, 2017 by Richard Eisenberg 8.6.1 CUSKs Pnormal Trac import TypeInType bug 5
- 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 Pnormal Trac import TypeInType bug documentation 5
- 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 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 9
updated Jul 07, 2019
Poor error message which masks occurs-check failure

#13674 · opened May 09, 2017 by Ryan Scott Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 10
updated Jul 07, 2019
Implement KPush in types

#13650 · opened May 05, 2017 by Richard Eisenberg 8.6.1 Phigh Trac import TypeInType task 7
- 3
updated Jul 07, 2019
Core lint error with TypeInType and TypeFamilyDependencies

#13643 · opened May 04, 2017 by Icelandjack Pnormal Trac import TypeInType bug injective type families 5
- 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 Pnormal Trac import TypeInType bug 5
- CLOSED
- 2
updated Jul 07, 2019
Can't resolve levity polymorphic superclass

#13603 · opened Apr 22, 2017 by Icelandjack 8.2.1 Pnormal Trac import TypeInType bug levity polymorphism 5
- CLOSED
- 7
updated Jul 07, 2019
ala from Control.Lens.Wrapped panics

#13585 · opened Apr 18, 2017 by Fumiaki Kinoshita 8.2.1 Phighest Trac import TypeInType bug compiler crash typechecker 10
- CLOSED
- 14
updated Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds

#13555 · opened Apr 09, 2017 by Ryan Scott 8.2.1 Phigh Trac import TypeInType bug typechecker 7
- CLOSED
- 11
updated Jul 07, 2019
GHC 8.2.1's typechecker rejects code generated by singletons that 8.0 accepts

#13549 · opened Apr 08, 2017 by Ryan Scott 8.4.1 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 16
updated Jul 07, 2019
Kind error with type equality

#13546 · opened Apr 07, 2017 by Vladislav Zavialov Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 8
updated Jul 07, 2019
Horrible error message due to TypeInType

#13530 · opened Apr 05, 2017 by Simon Peyton Jones Pnormal Trac import TypeInType bug 5
- CLOSED
- 4
updated Jul 07, 2019
Data types with higher-rank kinds are pretty-printed strangely

#13409 · opened Mar 10, 2017 by Ryan Scott Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 1
updated Jul 07, 2019
Consider inferring a higher-rank kind for type synonyms

#13408 · opened Mar 10, 2017 by Richard Eisenberg Pnormal Trac import TypeInType feature request visible dependent quantification 5
- 13
updated Sep 25, 2020
Fix printing of higher-rank kinds

#13407 · opened Mar 10, 2017 by Richard Eisenberg 8.4.1 Pnormal Trac import TypeInType bug 5
- CLOSED
- 4
updated Jul 07, 2019
Location of `forall` matters with higher-rank kind polymorphism

#13399 · opened Mar 09, 2017 by Eric Crockett 8.4.1 Pnormal Trac import TypeInType bug 5
- CLOSED
- 12
updated May 21, 2020

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