Issues · Glasgow Haskell Compiler / GHC · GitLab

Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg TypeInType task typechecker
- 1
- 6
updated Jul 20, 2020
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 Pnormal Trac import TypeInType bug runtime crash 5
- CLOSED
- 8
updated Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping

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

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

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

#15817 · opened Oct 27, 2018 by Icelandjack Pnormal Trac import TypeApplications TypeInType bug 5
- 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 Pnormal Trac import TypeApplications TypeInType bug 5
- CLOSED
- 8
updated Jul 07, 2019
GHC panic using visible kind applications and a higher-rank kind

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

#15711 · opened Oct 05, 2018 by Richard Eisenberg Pnormal Trac import TypeInType bug 5
- 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 Pnormal Trac import TypeInType bug 5
- 8
updated Apr 15, 2020
GHC panic using TypeInType with minimal source code

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

#15597 · opened Sep 03, 2018 by tstr Pnormal Trac import TypeInType bug compiler crash 5
- CLOSED
- 1
updated Jul 07, 2019
Coercion Quantification

#15497 · opened Aug 09, 2018 by Ningning Xie Pnormal Trac import TypeInType task 5
- CLOSED
- 8
updated Jul 07, 2019
Pattern matching on GADT does not refine type family parameters

#14938 · opened Mar 19, 2018 by Csongor Kiss GADTs Pnormal Trac import TypeFamilies TypeInType bug typechecker 5
- CLOSED
- 10
updated Jul 07, 2019

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