Issues · Glasgow Haskell Compiler / GHC · GitLab

eqType fails on comparing FunTys 0 of 3 tasks completed

#17675 · opened Jan 13, 2020 by Richard Eisenberg Pnormal TypeInType bug levity polymorphism
- 1
- 2
updated Feb 08, 2021
Kill EQ1

#17674 · opened Jan 13, 2020 by Richard Eisenberg TypeInType task
- 2
- 4
updated May 18, 2020
Type-level multiplication parsed as application at kind *, no guidance provided

#17621 · opened Dec 28, 2019 by Gesh Pnormal TypeInType bug error messages
- 3
updated Jan 05, 2020
Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg TypeInType task typechecker
- CLOSED
- 2
- 1
- 11
updated Jan 11, 2021
Regression involving unboxed types and type families

#17541 · opened Dec 04, 2019 by Matthew Pickering Pnormal TypeInType bug program incorrectly rejected typechecker
- CLOSED
- 2
- 9
updated Dec 12, 2019
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg TypeInType core lint task typechecker
- 2
updated Mar 10, 2020
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip TypeFamilies TypeInType bug typechecker
- 2
updated Feb 18, 2020
Kind inference bug in type family declaration

#17131 · opened Aug 29, 2019 by Simon Peyton Jones TypeFamilies TypeInType
- CLOSED
- 2
- 4
updated May 13, 2020
Scoped kind variables are broken

#16635 · opened May 07, 2019 by Vladislav Zavialov TypeInType bug typechecker
- 1
- 22
updated Sep 25, 2019
Higher-rank kinds lead to substitution assertion failure

#16600 · opened Apr 22, 2019 by Richard Eisenberg TypeInType bug
- CLOSED
- 4
updated Jun 08, 2019
Program fails with "Impossible case alternative" when optimized

#16310 · opened Feb 12, 2019 by Ryan Scott 5 Pnormal Trac import TypeInType bug runtime crash
- CLOSED
- 8
updated Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 4
- 9
updated Dec 31, 2020
Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 2
- 2
updated May 05, 2020
Data families with higher-rank kinds

#15874 · opened Nov 07, 2018 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Data family quantification = GHC panic, ‘impossible’ happened

#15817 · opened Oct 27, 2018 by Icelandjack 5 Pnormal Trac import TypeApplications TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019
Core lint error with unused kind variable in data type return kind

#15795 · opened Oct 24, 2018 by Icelandjack 5 Pnormal Trac import TypeApplications TypeInType bug
- CLOSED
- 8
updated Jul 07, 2019
GHC panic using visible kind applications and a higher-rank kind

#15789 · opened Oct 20, 2018 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
updated Jul 07, 2019
Kind inference of class variables does not examine associated types

#15711 · opened Oct 05, 2018 by Richard Eisenberg 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Should GHC accept a type signature that needs coercion quantification?

#15710 · opened Oct 05, 2018 by Simon Peyton Jones 5 Pnormal Trac import TypeInType bug
- 8
updated Apr 15, 2020
GHC panic using TypeInType with minimal source code

#15709 · opened Oct 05, 2018 by jnape 5 Pnormal Trac import TypeInType bug compiler crash
- CLOSED
- 2
updated Jul 07, 2019

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