Issues · Glasgow Haskell Compiler / GHC · GitLab

Nightmarish pretty-printing of equality type in GHC 8.2 error message

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

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

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

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

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

#13643 · created May 04, 2017 by Icelandjack 5 Pnormal Tbug Trac import TypeInType 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 · created Apr 28, 2017 by Matthew Pickering 8.2.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
Can't resolve levity polymorphic superclass

#13603 · created Apr 22, 2017 by Icelandjack 8.2.1 5 Pnormal Tbug Trac import TypeInType representation polymorphism
- CLOSED
- 7
updated Jul 07, 2019
GHC 8.2.1's typechecker rejects code generated by singletons that 8.0 accepts

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

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

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

#13409 · created Mar 10, 2017 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 1
updated Jul 07, 2019
Fix printing of higher-rank kinds

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

#13399 · created Mar 09, 2017 by Eric Crockett 8.4.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 12
updated May 21, 2020
PolyKinds is more permissive in GHC 8

#13391 · created Mar 07, 2017 by Eric Crockett 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 6
updated Jul 07, 2019
Remove checkValidTelescope

#13364 · created Mar 02, 2017 by Richard Eisenberg 8.4.1 5 Pnormal Ttask Trac import TypeInType
- CLOSED
- 1
updated Jul 07, 2019
GHC doesn't think a type is of kind *, despite having evidence for it

#13337 · created Feb 25, 2017 by Ryan Scott 8.2.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 14
updated Jul 07, 2019
Polykinded associated type family rejected on false pretenses

#12938 · created Dec 07, 2016 by Richard Eisenberg 8.6.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 5
updated Jul 07, 2019
tc_infer_args does not set in-scope set correctly

#12931 · created Dec 06, 2016 by johnleo 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
Kind classes compile with PolyKinds

#12922 · created Dec 03, 2016 by Matthías Páll Gissurarson 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 10
updated Jul 07, 2019

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