#7489: Obscure warning: Var/Type length mismatch when using GADTs and
TypeFamilies
-----------------------------+----------------------------------------------
Reporter: portnov | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
GHC 7.4.2 and 7.6.1 both write obscure warning without any link to source
line:
{{{
$ ghc --make test.hs
[1 of 1] Compiling Main ( test.hs, test.o )
Var/Type length mismatch:
[]
[main:Main.Credit{tc ra2}]
Var/Type length mismatch:
[]
[main:Main.Debit{tc ra1}]
Linking test ...
}}}
Near to minimal example (my real program is quite big and uses GHC type
system a lot): http://hpaste.org/78958
GHC 7.4.2 output: http://hpaste.org/78959
GHC 7.6.1 output: http://hpaste.org/78961
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7489>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
