Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC shouting: panic!

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

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

#14938 · opened Mar 19, 2018 by Csongor Kiss 5 GADTs Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Inferring dependent kinds for non-recursive types

#14847 · opened Feb 23, 2018 by Simon Peyton Jones 5 Pnormal Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
Data type return kinds don't obey the forall-or-nothing rule

#14795 · opened Feb 12, 2018 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
T13822 fails

#14749 · opened Feb 01, 2018 by Simon Peyton Jones 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
updated Jul 07, 2019
Ordering of declarations can cause typechecking to fail

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

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

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

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

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

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

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

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

#14552 · opened Dec 02, 2017 by Icelandjack 5 Pnormal PatternSynonyms Trac import TypeInType ViewPatterns bug
- CLOSED
- 8
updated Jul 07, 2019
GHC panic (TypeInType)

#14520 · opened Nov 24, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 1
updated Jul 07, 2019
"Same" higher-rank kind synonyms behave differently

#14515 · opened Nov 23, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Core Lint error with Type.Reflection and pattern synonyms

#14507 · opened Nov 22, 2017 by Icelandjack 10 Phighest PatternSynonyms Trac import TypeInType bug
- CLOSED
- 7
updated Jul 07, 2019
Data families should not instantiate to non-Type kinds

#14420 · opened Nov 03, 2017 by Richard Eisenberg 5 Pnormal Trac import TypeFamilies TypeInType bug
- 1
- 11
updated Feb 01, 2021
Inferred type for pattern synonym has redundant equality constraint

#14394 · opened Oct 27, 2017 by Ryan Scott 5 Pnormal PatternSynonyms Trac import TypeInType bug typechecker
- CLOSED
- 1
updated Jul 07, 2019

Prev
1
…
6
7
8
9
10
11
12
Next