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

[Andreas Abel]

Thanks for the clarification.
Andreas

On 30.05.11 4:20 PM, Nils Anders Danielsson wrote:
> 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.
>

-- 
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/