Issues · Glasgow Haskell Compiler / GHC · GitLab

Type error in one function causes wrong type error report in another function in the presence of functionally dependent types

#5978 · created Mar 28, 2012 by Lemming 7.6.1 3 Plow Tbug Trac import typechecker
- CLOSED
- 13
updated Jul 07, 2019
Type error in program caused by unrelated definition

#14327 · created Oct 05, 2017 by Alexis King 8.4.1 5 FunctionalDependencies Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
TypeError is fragile

#11391 · created Jan 09, 2016 by Ben Gamari 8.0.1 7 Phigh Tbug Trac import custom type errors error messages typechecker
- CLOSED
- 8
updated Jul 07, 2019
Type error message pretty-prints unboxed tuples wrongly

#502 · created Dec 14, 2000 by Manuel M T Chakravarty 5 Pnormal Tbug Trac import obsolete typechecker
- CLOSED
- 1
- 2
updated Jul 07, 2019
Type error reported in wrong place with repeated type family expressions

#9318 · created Jul 15, 2014 by Richard Eisenberg 7.10.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 8
updated Jul 07, 2019
Type error says that tuple components have kind (* -> *)

#7410 · created Nov 13, 2012 by benl 5 Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
Type errors due to different package versions are a bit cryptic

#1465 · created Jun 27, 2007 by guest 6.8.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 11
updated Jul 07, 2019
Type errors sometimes has a lot of irrelevant information

#11541 · created Feb 05, 2016 by lennart@augustsson.net 8.0.1 5 Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 8
updated Jul 07, 2019
type error trying to specialize polymorphic function

#4008 · created Apr 23, 2010 by nr@eecs.harvard.edu 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Type error with Rank-n-types

#10281 · created Apr 09, 2015 by rhjl 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 11
updated Jul 07, 2019
Type families bug with data family instances

#3154 · created Apr 07, 2009 by trevor 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
Type families cause wrapper types to disappear without cause

#10085 · created Feb 12, 2015 by tathougies 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
Type families regression

#4492 · created Nov 11, 2010 by rl@cse.unsw.edu.au 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jan 03, 2021
Type families with class constraints: type-checker loops

#1900 · created Nov 15, 2007 by h.holtmann 6.10 branch 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
Type family and GADT error

#1724 · created Sep 21, 2007 by Chris Kuklewicz 7 Phigh Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Type family bug ?

#2767 · created Nov 11, 2008 by test 6.12 branch 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
TypeFamilyDependencies accepts invalid injectivity annotation

#12430 · created Jul 24, 2016 by Alexey Vagarenko 8.8.1 7 Phigh Tbug Trac import injective type families typechecker
- CLOSED
- 5
updated Jul 07, 2019
type family does not get expanded in ghc-6.12.1

#3851 · created Feb 01, 2010 by Andres Löh 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
Type family equation refuses to unify wildcard type patterns

#14366 · created Oct 18, 2017 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 8
updated Jul 07, 2019
Type family injectivity annotations ignored in hs-boot files

#11007 · created Oct 22, 2015 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
…
43
44
45
46
47
48
49
50
51
…
53
Next