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