Broken Interaction Tests [Re: [Agda] Re: Syntax for anonymous functions]

Andreas Abel andreas.abel at ifi.lmu.de
Tue May 31 10:26:14 CEST 2011


On 31.05.11 9:01 AM, Dominique Devriese wrote:
> I see the same behaviour as Andreas for this test case. I took a brief
> look, and it seems that on my system, the hack does in fact work and
> trigger recompilation of Imports/Nat (although not of the other two
> modules in the expected output?), but GHC sends the progress info to
> stderr and MAlonzo sends GHC stderr to a dead pipe, so it is not
> output. It appears that this was changed in GHC 7, which now sends the
> output to stdout, so I suspect the problem is a GHC version thing. I'm
> still running GHC 6, so I suspect Andreas as well and Nils not?

Ah, that explains it.  It fails on my GHC 6 machine but works on the GHC 
7 box.

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list