Issues · Glasgow Haskell Compiler / GHC · GitLab

Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]

#14040 · opened Jul 27, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug compiler crash partial type sigs typechecker typed holes
- 17
updated Jan 23, 2020
Support Typeable instances for types with coercions

#13933 · opened Jul 07, 2017 by Richard Eisenberg 5 Pnormal Trac import TypeInType Typeable bug
- 2
updated Jul 07, 2019
Can't apply higher-ranked kind in type family

#13913 · opened Jul 02, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Strange Typeable error message involving TypeInType

#13872 · opened Jun 24, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType Typeable bug error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHC doesn't reduce type family in kind signature unless its arm is twisted

#13790 · opened Jun 05, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Can't create poly-kinded GADT with TypeInType enabled, but can without

#13761 · opened May 27, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Poor error message which masks occurs-check failure

#13674 · opened May 09, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Core lint error with TypeInType and TypeFamilyDependencies

#13643 · opened May 04, 2017 by Icelandjack 5 Pnormal Trac import TypeInType bug injective type families
- CLOSED
- 6
updated Jul 07, 2019
Kind error with type equality

#13546 · opened Apr 07, 2017 by Vladislav Zavialov 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Horrible error message due to TypeInType

#13530 · opened Apr 05, 2017 by Simon Peyton Jones 5 Pnormal Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
Data types with higher-rank kinds are pretty-printed strangely

#13409 · opened Mar 10, 2017 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
PolyKinds is more permissive in GHC 8

#13391 · opened Mar 07, 2017 by Eric Crockett 5 Pnormal Trac import TypeInType bug
- CLOSED
- 6
updated Jul 07, 2019
tc_infer_args does not set in-scope set correctly

#12931 · opened Dec 06, 2016 by johnleo 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Kind classes compile with PolyKinds

#12922 · opened Dec 03, 2016 by Matthías Páll Gissurarson 5 Pnormal Trac import TypeInType bug
- CLOSED
- 10
updated Jul 07, 2019
Instantiation of invisible type family arguments is too eager

#12742 · opened Oct 20, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Allow kinds of associated types to depend on earlier associated types

#12612 · opened Sep 23, 2016 by davemenendez 5 Pnormal Trac import TypeInType bug
- 1
- 5
updated Jul 07, 2019
Reference kind in a type instance declaration defined in another instance declaration

#12553 · opened Aug 30, 2016 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 11
updated Jul 07, 2019
GHC 8.0 accepts recursive kind signature that GHC 7.10 rejects

#12534 · opened Aug 24, 2016 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Pure unifier usually doesn't need to unify kinds

#12442 · opened Jul 27, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType bug
- CLOSED
- 9
updated Jul 07, 2019
TypeInType Compile-time Panic

#12081 · opened May 18, 2016 by MichaelK 5 Pnormal Trac import TypeInType bug compiler crash
- CLOSED
- 5
updated Sep 19, 2020

Prev
1
…
7
8
9
10
11
12
Next