[Agda] Generic programming and pointfree stuff.

[Nils Anders Danielsson]

On 2014-04-06 03:11, flicky frans wrote:
> I tried, but got this error:
>
> C:\Documents and Settings\ 4<8=8AB at 0B>@\Application
> Data\cabal\Agda-2.3.3\lib\prim\Agda\Primitive.agda: openFile:
> invalid argument (Invalid argument)
>
> Locale problems. I searched for a way to unhardcode the path, but
> didn't find it. Is there any?

Please report this issue on the bug tracker, along with information
about what operating system you are using. If this problem is caused by
Agda, then I think it should be fixed before 2.3.4 is released.

-- 
/NAD