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

Dominique Devriese dominique.devriese at gmail.com
Tue May 31 09:01:34 CEST 2011


Nils, Andres,

2011/5/30 Nils Anders Danielsson <nad at chalmers.se>:
> On 2011-05-30 13:52, Andreas Abel wrote:
>> @Nisse: How do I repair this test case?
>
> The file Issue373.in contains a hack which is intended to force
> recompilation:
>
>  let objectFile = "Imports/Nat.o"
>  ex <- System.Directory.doesFileExist objectFile
>  if ex then System.Directory.removeFile objectFile else return ()
>
> I'm guessing that this code doesn't fulfil its purpose on your system.
> Feel free to change it.

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?

Anyway, perhaps an idea for a fix: maybe there is a way to pass "-v0"
as ghc option just for this test case? Nils, maybe you know by heart
how to do this from GHCi top?

Dominique


More information about the Agda mailing list