coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Haskell Extraction

From: Trevor Elliott <awesomelyawesome AT gmail.com>
To: Pierre Letouzey <pierre.letouzey AT inria.fr>
Cc: Wouter Swierstra <w.swierstra AT cs.ru.nl>, coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Haskell Extraction
Date: Tue, 12 Apr 2011 12:56:25 -0700
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=fdfhGqmx9BHPMfPWLHWeFkLyujsAHxCqwCHW53yK1NmWBAiYo/eTuvIYJQGj/chapA /yqS995YeEjJKy2/H4Fz4tyJAPZDyReAkLK3lm1S7bOcCUf+hZ/qlFECUGW2bQ6fyyK3 wzmlGa2eLskmF6PQZ7Zm3ZaNiXx0hXodiVSF8=

Hi Pierre,

> This is indeed a bug. It appears to be already fixed in the trunk branch of
> Coq svn, probably one of my recent commits, but the bug is still active in
> the
> 8.3 branch. I'll propagate these commits soon and make sure the bug is fixed
> in the next release. Sorry for the inconvenience. As I'm not using the
> Haskell
> extraction much myself, it might still contain some rough edges
> unfortunately...

Thanks! I look forward to the next release :)

--trevor

[Coq-Club] Haskell Extraction, Trevor Elliott
- Re: [Coq-Club] Haskell Extraction, Wouter Swierstra
  - Re: [Coq-Club] Haskell Extraction, Trevor Elliott
    - Re: [Coq-Club] Haskell Extraction, Pierre Letouzey
      - Re: [Coq-Club] Haskell Extraction, Trevor Elliott
        
        Re: [Coq-Club] Haskell Extraction, Trevor Elliott
        
        Re: [Coq-Club] Haskell Extraction, Pierre Letouzey
        
        Re: [Coq-Club] Haskell Extraction, Trevor Elliott
  - Re: [Coq-Club] Haskell Extraction, Pierre Letouzey