Issues · Glasgow Haskell Compiler / GHC · GitLab

Failure of bidirectional type inference at the kind level

#12176 · opened Jun 10, 2016 by Richard Eisenberg 8.4.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
Recursive use of type-in-type results in infinite loop

#12174 · opened Jun 09, 2016 by Edward Z. Yang 8.2.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 7
updated Sep 19, 2020
“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
TypeInType Compile-time Panic

#12081 · opened May 18, 2016 by MichaelK 5 Pnormal Trac import TypeInType bug compiler crash
- CLOSED
- 5
updated Sep 19, 2020
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
GHCi Proposal: Display (Data.Kind.)Type instead of *

#12030 · opened May 07, 2016 by Icelandjack 8.6.1 5 GHCi Pnormal Trac import TypeInType feature request
- CLOSED
- 3
updated Jul 07, 2019
Notify user to import * from Data.Kind with TypeInType on

#12029 · opened May 07, 2016 by Icelandjack 0 GHCi Plow Trac import TypeInType feature request
- CLOSED
- 6
updated Jul 07, 2019
Can't infer type

#11995 · opened Apr 29, 2016 by Icelandjack 8.2.2 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Surprising behavior with higher-rank quantification of kind variables

#11966 · opened Apr 21, 2016 by Ollie Charles 8.2.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Without TypeInType, inconsistently accepts Data.Kind.Type but not type synonym

#11964 · opened Apr 20, 2016 by Edward Z. Yang 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC introduces kind equality without TypeInType

#11963 · opened Apr 20, 2016 by Edward Z. Yang 8.4.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Support induction recursion

#11962 · opened Apr 20, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType feature request
- 19
updated Jan 06, 2020
Internal error: not in scope during type checking, but it passed the renamer

#11821 · opened Apr 11, 2016 by darchon 8.0.2 5 Pnormal Trac import TypeInType bug
- CLOSED
- 14
updated Jul 07, 2019
GHC sometimes misses a CUSK

#11811 · opened Apr 07, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019
Merge types and kinds in Template Haskell

#11785 · opened Apr 04, 2016 by Richard Eisenberg 8.4.1 5 Pnormal TemplateHaskell Trac import TypeInType task
- CLOSED
- 7
updated Jul 07, 2019
Error in optCoercion

#11754 · opened Mar 25, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
Deriving Generic1 interacts poorly with TypeInType

#11732 · opened Mar 21, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Trac import TypeInType bug generics
- CLOSED
- 19
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
Make TypeInType stress test work

#11716 · opened Mar 17, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
Type families mistakingly report kind variables as unbound type variables

#11699 · opened Mar 11, 2016 by mniip 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 6
updated Jul 07, 2019

Prev
1
…
6
7
8
9
10
11
12
Next