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

[Nils Anders Danielsson]

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.

-- 
/NAD