[Agda] Agda and ghc 6.12

[Nils Anders Danielsson]

On 2009-12-16 16:37, Nils Anders Danielsson wrote:
> Did you also run the test suite? There are some changes to the handling
> of IO in GHC 6.12, and I don't know if they affect Agda.

I have updated the development version of Agda now. It should behave
more or less the same under 6.10 and 6.12, except that some IO (mostly
output to stdout) uses locale-dependent character encodings under 6.12.

-- 
/NAD