modal types, generalized arrows, and core passes written in coq

[Max Bolingbroke]

Hi Adam,

On 11 March 2011 11:18, Max Bolingbroke <batterseapower at hotmail.com> 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