Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC panic: updateRole

#14880 · opened Mar 02, 2018 by Ryan Scott 8.6.2 5 Pnormal Tbug Trac import TypeInType compiler crash roles typechecker
- CLOSED
- 155
updated Jul 07, 2019
Type holes cause assertion failure in ghc-stage2 compiler during type checking

#14884 · opened Mar 03, 2018 by Tao He 5 Pnormal Tbug Trac import compiler crash typechecker typed holes
- CLOSED
- 4
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 5 Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 13
updated Jul 07, 2019
Compiler panic (piResultTy)

#14904 · opened Mar 09, 2018 by Csongor Kiss 8.6.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 9
updated Jul 07, 2019
Missing checks when deriving special classes

#14916 · opened Mar 13, 2018 by Andres Löh 8.4.2 5 Pnormal Tbug Trac import deriving error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
DeriveAnyClass produces unjustifiably untouchable unification variables

#14932 · opened Mar 17, 2018 by Ryan Scott 8.4.2 5 Pnormal Tbug Trac import deriving typechecker
- CLOSED
- 6
updated Jul 07, 2019
DeriveAnyClass can cause "No skolem info" GHC panic

#14933 · opened Mar 17, 2018 by Ryan Scott 8.4.2 5 Pnormal Tbug Trac import compiler crash deriving typechecker
- CLOSED
- 4
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 Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 10
updated Jul 07, 2019
QuantifiedConstraints: Can't be RHS of type family instances

#14968 · opened Mar 24, 2018 by josef 5 Pnormal Tbug Trac import typechecker
- 1
- 11
updated Jul 07, 2019
Regression: 8.4.1 says "Could not deduce" when before 8.4 it could

#14984 · opened Mar 29, 2018 by erikd 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC HEAD regression involving TYPEs in type families

#14991 · opened Apr 02, 2018 by Ryan Scott 8.6.1 7 Phigh Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 5
updated Jul 07, 2019
Exhaustivity check should suggest when COMPLETE could be helpful

#15014 · opened Apr 08, 2018 by Edward Z. Yang 8.4.3 5 Pnormal PatternSynonyms Tbug Trac import error messages pattern match warnings typechecker
- 0
updated Jul 07, 2019
Bizarre pretty-printing of inferred Coercible constraint in partial type signature

#15039 · opened Apr 16, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType error messages partial type sigs typechecker
- CLOSED
- 9
updated Jul 07, 2019
Outdated comments in RnSource.hs

#15047 · opened Apr 17, 2018 by Artem Pelenitsyn 8.6.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
Typed hole with higher-rank kind causes GHC to panic (No skolem info)

#15076 · opened Apr 22, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
GHC internal error when GADT return type mentions its own constructor name

#15116 · opened May 03, 2018 by Ryan Scott 8.6.1 5 GADTs Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Program involving existentials and type class constraint gets rejected

#15119 · opened May 04, 2018 by Sebastian Graf 8.6.1 5 Pnormal Tbug Tfeature request Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHC HEAD typechecker regression

#15122 · opened May 04, 2018 by fmixing 8.6.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 11
updated Jul 07, 2019
GHC HEAD regression: tcTyVarDetails

#15142 · opened May 11, 2018 by Ryan Scott 8.6.1 10 CUSKs Phighest Tbug Trac import TypeFamilies TypeInType compiler crash typechecker
- CLOSED
- 1
- 20
updated Jul 07, 2019
Type inference regression between GHC 8.0.2 and 8.2.2

#15144 · opened May 12, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019

Prev
1
…
56
57
58
59
60
61
62
63
64
Next