Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Implement TDNR

#4479 · opened Nov 06, 2010 by gidyn 8.0.1 3 OverloadedRecordFields Plow Trac import feature request typechecker
- CLOSED
- 30
updated Jan 08, 2021
Please consider adding support for local type synonyms

#4020 · opened Apr 27, 2010 by nr@eecs.harvard.edu 8.0.1 3 Plow Trac import feature request typechecker
- 2
- 17
updated Jul 07, 2019
Incorrect type inferred with -fwarn-missing-signatures and a type class

#3696 · opened Nov 26, 2009 by spl 3 Plow Trac import bug error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
Can't use superclass when type coercions are involved

#3460 · opened Aug 24, 2009 by ryani 3 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Improve error message for GADT failures

#3440 · opened Aug 19, 2009 by Simon Peyton Jones 3 Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family in a rank-n type)

#3297 · opened Jun 12, 2009 by hesselink 7.2.1 3 Plow Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Bad occurs-check error message

#3169 · opened Apr 14, 2009 by Simon Peyton Jones 7.0.2 3 Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Very long compile times with type functions

#3064 · opened Mar 03, 2009 by Simon Peyton Jones 8.0.1 3 Plow Trac import bug typechecker
- CLOSED
- 20
updated Jul 07, 2019
ASSERT failed: file typecheck/TcMType.lhs line 526 t_a32G{tv}

#3011 · opened Feb 08, 2009 by batterseapower 7.2.1 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Equality constraint in superclass not supported

#2715 · opened Oct 20, 2008 by rodprice 7.2.1 3 Plow Trac import bug typechecker
- CLOSED
- 16
updated Jul 07, 2019
bogus "syntactically distinct contexts" error

#2695 · opened Oct 14, 2008 by conal 3 Plow Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Extreme memory usage (probably type functions)

#2658 · opened Oct 05, 2008 by guest 6.12.1 3 Plow Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Improve "Can't unify" error messages from type functions

#2544 · opened Aug 26, 2008 by Simon Peyton Jones 7.0.2 3 Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Poor indication of type error location

#2275 · opened May 09, 2008 by guest 6.10 branch 3 Plow Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
lack of improvement/reduction with TFs

#2239 · opened Apr 25, 2008 by claus.reinke@talk21.com 3 Plow Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Typeclass membership doesn't bring coercion superclass requirements into scope

#2102 · opened Feb 16, 2008 by ryani 7.2.1 3 Plow Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Confusing type error message

#1928 · opened Nov 25, 2007 by josef 3 Plow Trac import bug error messages typechecker
- 5
updated Jul 07, 2019
Ambiguous types and rejected type signatures

#1897 · opened Nov 15, 2007 by guest 7.2.1 3 Plow Trac import bug typechecker
- CLOSED
- 22
updated Jul 07, 2019

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