ghc warning "Var/Type length mismatch"
When I load my program, GHC spits these messages at me, but doesn't fail Any idea what might be causing this or how to figure that out? Var/Type length mismatch: [] [a{tv aGIf} [tau]] ... Var/Type length mismatch: [] [a{tv aGN8} [tv]] ... I found the responsible code in GHC's darcs, but the context didn't lend any help my feeble non-GHC hacker brain. My program is kind of big and I'm using personal libraries that exercise the type system a lot, but I'll wait to see if anyone is interested or if this has been handled before I share the gory details. This tidbit might help: I have a couple of usages of undefined in my program b/c I'm just starting to code and if I replace a particular undefined of this with some typed dummy code, it removes the second set of mismatches, but not the first. I tried also replacing the other undefined, but the first set of mismatches remained. Glasgow Haskell Compiler, Version 6.7.20070214, for Haskell 98, compiled by GHC version 6.7.20070214 Also, is there a better list for this question? I half-heartedly tried haskell.org's list of mailing lists for an appropriate place for GHC bugs but didn't find one. Thanks for your time, Nick
On 3/22/07, Nicolas Frisby
When I load my program, GHC spits these messages at me, but doesn't fail Any idea what might be causing this or how to figure that out?
Var/Type length mismatch: [] [a{tv aGIf} [tau]] ... Var/Type length mismatch: [] [a{tv aGN8} [tv]] ...
I found the responsible code in GHC's darcs, but the context didn't lend any help my feeble non-GHC hacker brain.
My program is kind of big and I'm using personal libraries that exercise the type system a lot, but I'll wait to see if anyone is interested or if this has been handled before I share the gory details. This tidbit might help: I have a couple of usages of undefined in my program b/c I'm just starting to code and if I replace a particular undefined of this with some typed dummy code, it removes the second set of mismatches, but not the first. I tried also replacing the other undefined, but the first set of mismatches remained.
Glasgow Haskell Compiler, Version 6.7.20070214, for Haskell 98, compiled by GHC version 6.7.20070214
Also, is there a better list for this question? I half-heartedly tried haskell.org's list of mailing lists for an appropriate place for GHC bugs but didn't find one.
Try glasgow-haskell-bugs; I'm forwarding this message there (I don't know offhand whether that warning is anything to be concerned about, but on ghc-bugs it'll get noticed pretty quickly.) Cheers, Tim -- Tim Chevalier* chevalier@alum.wellesley.edu *Often in error, never in doubt Confused? See http://catamorphism.org/transition.html
| Also, is there a better list for this question? I half-heartedly tried | haskell.org's list of mailing lists for an appropriate place for GHC | bugs but didn't find one. Yes, there is a mailing list specifically for ghc bugs http://www.haskell.org/ghc/docs/latest/html/users_guide/introduction-GHC.htm... | When I load my program, GHC spits these messages at me, but doesn't | fail Any idea what might be causing this or how to figure that out? | | Var/Type length mismatch: | [] | [a{tv aGIf} [tau]] This is definitely a bug. The first thing is to compile (all your modules) with -dcore-lint. That often localises the problem dramatically. Even if that localises it, I may well need to be able to reproduce it myself, so if you felt able to shrink your program by deleting stuff, or (next best) tar up the entire thing so we can build it, that would be great. thx Simon
Hello Nicolas, Friday, March 23, 2007, 1:44:00 AM, you wrote:
Glasgow Haskell Compiler, Version 6.7.20070214, for Haskell 98, compiled by GHC version 6.7.20070214
are you really need to use this beta version? 6.6 is last stable one, if you will go to download it, i recommend you to get latest binary snapshot for your platform -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com
participants (4)
-
Bulat Ziganshin -
Nicolas Frisby -
Simon Peyton-Jones -
Tim Chevalier