The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

----- Mail original -----
> Hi --
> 
> I'm wondering if anyone knows what could cause this bug when
> extracting the following code to Scheme:

Hi

Thanks for reporting this issue. Looks like I made someday a hasty trick
concerning Ocaml's projections (x.foo), without fully limiting this trick
to Ocaml. Hence these (error "Proj Args") appearing in Scheme or Haskell.
In Haskell, this wasn't much on a issue thanks to laziness, but in Scheme
this is indeed problematic.

This should be fixed now in trunk/8.4/8.3 branches
(commits r16074, r16075, r16076)

Best regards,

Pierre Letouzey

PS: I'll close bug #2941 as soon as I manage to access our bugzilla,
which seems down once again. Grrr...