Hi Adam,
On 11 March 2011 11:18, Max Bolingbroke <[email protected]> wrote:
> Compilation of CoqPass did eventually terminate after ~2 hours. Now
> I've got to do it all again with the stage-1 compiler :-)
I tried out your tutorial but got the following error message:
"""
==================== Coq Pass Output ====================ghc-stage2:
panic! (the 'impossible' happened)
(GHC version 7.1.20110308 for i386-apple-darwin):
unable to convert HaskWeak to HaskStrong due to:\n type mismatch in
HaskWeak ELet: t and GHC.Types.Bool
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
"""
Is it possible that you haven't updated the branch with the extracted
Coq code with your latest changes? (I asked you this question before,
but I don't think you answered it - apologies if I'm wrong).
Cheers,
Max
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
