Sending this patch separately and with an amended patch name, as I think it
makes sense regardless of issue2416.
1 patch for repository http://darcs.net:
patch 02ef1a6d50cd7e0e8683ce3109d6a658597b1890
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Mon Nov 17 23:11:14 CET 2014
* use decodeString to convert command line args up front
Also make it return IO String, thus saving an unsafePerformIO. This is
possible because decodeString is no longer used in pure functions.
Agreed. I'll push it after compiling and testing it.
2015-02-16 4:30 GMT-03:00 Ganesh Sittampalam <bugs@darcs.net>:
>
> Ganesh Sittampalam <ganesh@earth.li> added the comment:
>
> I think we need this in 2.10, otherwise the latin9 test fails.
>
> Guillaume - shout if you object, otherwise I'll push it to the branch.
>
> ----------
> milestone: -> 2.10.0 HEAD
> nosy: +gh
>
> __________________________________
> Darcs bug tracker <bugs@darcs.net>
> <http://bugs.darcs.net/patch1231>
> __________________________________