Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Compiler panic (piResultTy)

#14904 · opened Mar 09, 2018 by Csongor Kiss 8.6.1 Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 9
updated Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check

#14887 · opened Mar 03, 2018 by Ryan Scott 8.8.1 Pnormal Trac import TypeFamilies TypeInType bug typechecker 5
- CLOSED
- 13
updated Jul 07, 2019
GHC panic: updateRole

#14880 · opened Mar 02, 2018 by Ryan Scott 8.6.2 Pnormal Trac import TypeInType bug compiler crash roles typechecker 5
- CLOSED
- 155
updated Jul 07, 2019
The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 9.0.1 Phighest Trac import TypeInType bug compiler crash typechecker 10
- 12
updated Jan 24, 2020
Inferring dependent kinds for non-recursive types

#14847 · opened Feb 23, 2018 by Simon Peyton Jones Pnormal Trac import TypeInType bug 5
- CLOSED
- 4
updated Jul 07, 2019
Renamer hangs (because of -XInstanceSigs?)

#14846 · opened Feb 23, 2018 by Icelandjack 8.4.2 InstanceSigs Pnormal Trac import TypeInType bug 5
- CLOSED
- 10
updated Jul 07, 2019
TypeInType, index GADT by constraint witness

#14845 · opened Feb 23, 2018 by Icelandjack 8.6.1 Pnormal Trac import TypeInType feature request 5
- CLOSED
- 19
updated Jul 07, 2019
Data type return kinds don't obey the forall-or-nothing rule

#14795 · opened Feb 12, 2018 by Ryan Scott Pnormal Trac import TypeInType bug typechecker 5
- CLOSED
- 4
updated Jul 07, 2019
Make $! representation-polymorphic

#14764 · opened Feb 05, 2018 by David Feuer 8.6.1 Pnormal Trac import TypeInType core libraries task 5
- CLOSED
- 1
updated Jul 07, 2019
T13822 fails

#14749 · opened Feb 01, 2018 by Simon Peyton Jones Pnormal Trac import TypeInType bug 5
- CLOSED
- 5
updated Jul 07, 2019
GHC 8.4.1-alpha regression with TypeInType

#14720 · opened Jan 25, 2018 by Ryan Scott 8.4.1 Phigh Trac import TypeInType bug typechecker 7
- CLOSED
- 4
updated Jul 07, 2019
Ordering of declarations can cause typechecking to fail

#14668 · opened Jan 14, 2018 by heptahedron Pnormal Trac import TypeInType bug typechecker 5
- 7
updated Jul 07, 2019
Allow type family in data family return kind

#14645 · opened Jan 07, 2018 by Richard Eisenberg Pnormal Trac import TypeFamilies TypeInType bug 5
- 12
updated Jul 07, 2019
Core Lint error

#14607 · opened Dec 23, 2017 by Icelandjack Pnormal Trac import TypeInType bug deferred type errors 5
- CLOSED
- 4
updated Jul 07, 2019
Core Lint error

#14605 · opened Dec 21, 2017 by Icelandjack Pnormal Trac import TypeInType bug deferred type errors 5
- CLOSED
- 6
updated Jul 07, 2019
GHC panic (TypeInType) (the 'impossible' happened)

#14580 · opened Dec 14, 2017 by Icelandjack Pnormal Trac import TypeInType bug 5
- CLOSED
- 2
updated Jul 07, 2019
GHC Panic with TypeInType / levity polymorphism

#14563 · opened Dec 07, 2017 by Icelandjack Pnormal Trac import TypeInType bug levity polymorphism 5
- CLOSED
- 1
updated Jul 07, 2019
Core Lint error: Ill-kinded result in coercion

#14556 · opened Dec 05, 2017 by Icelandjack Pnormal Trac import TypeInType bug 5
- CLOSED
- 3
updated Jul 07, 2019
GHC Panic with TypeInType / levity polymorphism

#14555 · opened Dec 04, 2017 by Icelandjack Pnormal Trac import TypeInType bug levity polymorphism 5
- CLOSED
- 3
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
8
9
…
12
Next