Issues · Glasgow Haskell Compiler / GHC · GitLab

Typeable TypeNats

#8778 · opened Feb 13, 2014 by dmcclean 7.10.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 26
updated Jul 07, 2019
Pattern synonym type signatures

#8584 · opened Dec 01, 2013 by cactus 7.10.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 7
updated Jul 07, 2019
Infer type context in a type signature

#5248 · opened Jun 09, 2011 by gidyn 7.10.1 3 Plow Trac import feature request typechecker
- CLOSED
- 10
updated Jul 07, 2019
report ambiguous type variables more consistently

#4921 · opened Jan 27, 2011 by Saizan 7.10.1 3 Plow Trac import feature request typechecker
- CLOSED
- 5
updated Jul 07, 2019
Regression in forall typechecking

#10443 · opened May 24, 2015 by Alan Zimmerman 7.10.2 10 Phighest Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC.TypeLits.Nat types no longer fully simplified.

#10321 · opened Apr 18, 2015 by darchon 7.10.2 10 Phighest Trac import bug type literals typechecker
- CLOSED
- 9
updated Jul 07, 2019
Role annotation should never be ambiguous

#10263 · opened Apr 08, 2015 by Edward Z. Yang 7.10.2 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 15, 2019
GHC 8 superclass chain constraint regression

#11762 · opened Mar 28, 2016 by Serge Kosyrev 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 6
updated Jan 13, 2020
Heterogeneous type equality evidence ignored

#11642 · opened Feb 25, 2016 by Ben Gamari 8.0.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Cannot declare hs-boot declaration if there is already a value in scope

#11624 · opened Feb 22, 2016 by Edward Z. Yang 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0 when compiling `microlens`

#11608 · opened Feb 19, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 18
updated Jul 07, 2019
GHC falls into a hole if given incorrect kind signature

#11520 · opened Jan 31, 2016 by Ben Gamari 8.0.1 10 Phighest Trac import TypeInType bug error messages typechecker
- CLOSED
- 9
updated Jul 07, 2019
Terrible failure of type inference in visible type application

#11458 · opened Jan 19, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Trac import TypeApplications bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance

#11407 · opened Jan 11, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler perf typechecker
- CLOSED
- 5
updated Jul 07, 2019
Ill-kinded instance head involving -XTypeInType can invoke GHC panic

#11399 · opened Jan 10, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Type mismatch in local definitions in Haskell 98 code

#11397 · opened Jan 10, 2016 by Lemming 8.0.1 10 Phighest Trac import TypeApplications bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0

#11364 · opened Jan 06, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC panic when calling typeOf on a promoted data constructor

#11334 · opened Jan 01, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 19
updated Jul 07, 2019
Type checker regression introduced by visible type-application

#11305 · opened Dec 28, 2015 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Regression typechecking type synonym which includes `Any`.

#11246 · opened Dec 17, 2015 by Matthew Pickering 8.0.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
63
Next