Issues · Glasgow Haskell Compiler / GHC · GitLab

Forced to enable TypeInType because of (i ~ i)

#15545 · opened Aug 20, 2018 by Icelandjack 8.6.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Oversaturated type family application panicks GHC (piResultTys2)

#15428 · opened Jul 21, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeFamilies TypeInType bug compiler crash
- CLOSED
- 5
updated Jul 07, 2019
Infinite typechecker loop in GHC 8.6

#15380 · opened Jul 14, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeFamilies TypeInType bug compiler perf typechecker
- CLOSED
- 7
updated Jul 07, 2019
Typed hole panic on GHC 8.6 (tcTyVarDetails)

#15370 · opened Jul 12, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeInType bug compiler crash typechecker typed holes
- CLOSED
- 1
- 15
updated Jul 07, 2019
Error message displays redundant equality constraint

#15361 · opened Jul 11, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 11
updated Jul 07, 2019
Core Lint error in GHC 8.6.1: From-type of Cast differs from type of enclosed expression

#15346 · opened Jul 05, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 1
- 12
updated Jul 07, 2019
Implicitly quantifying a kind variable causes GHC 8.6 to panic (coercionKind)

#15343 · opened Jul 04, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Error message prints explicit kinds when it shouldn't

#15308 · opened Jun 24, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 1
- 3
updated Jul 07, 2019
Document how equality-bearing constructors are promoted in Core

#15282 · opened Jun 17, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Data family promotion is possible

#15245 · opened Jun 07, 2018 by Vladislav Zavialov 8.6.1 5 Pnormal Trac import TypeInType broken test bug documentation typechecker
- CLOSED
- 5
updated Jul 07, 2019
Merge -XPolyKinds with -XTypeInType

#15195 · opened May 29, 2018 by Richard Eisenberg 8.6.1 5 Pnormal Trac import TypeInType bug ghc proposal
- CLOSED
- 8
updated Jul 07, 2019
GHC HEAD panic (dischargeFmv)

#15170 · opened May 20, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
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 Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC HEAD regression: cannot instantiate higher-rank kind

#15079 · opened Apr 23, 2018 by Ryan Scott 8.6.1 7 Phigh Trac import TypeInType bug typechecker
- CLOSED
- 10
updated Oct 31, 2020
Bizarre pretty-printing of inferred Coercible constraint in partial type signature

#15039 · opened Apr 16, 2018 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug error messages partial type sigs typechecker
- CLOSED
- 9
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 Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Compiler panic (piResultTy)

#14904 · opened Mar 09, 2018 by Csongor Kiss 8.6.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
`:kind` suppresses visible dependent quantifiers by default in GHCi 8.2.1

#14238 · opened Sep 15, 2017 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug incorrect runtime result typechecker
- CLOSED
- 4
updated Jul 07, 2019
Iface type variable out of scope: k1

#13938 · opened Jul 07, 2017 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeApplications TypeInType bug error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
Inlining a definition causes GHC to panic (repSplitTyConApp_maybe)

#13910 · opened Jul 01, 2017 by Ryan Scott 8.6.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019

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