idris-lang/Idris-dev — pull request #1585 by RyanGlScott (2014-10-04 23:25:08+00:00)
Title: Fix for optparse-applicative breaking change

`optparse-applicative-0.11.0` changes the type signature of `argument` from `(String -> Maybe a) -> Mod ArgumentFields a -> Parser ` to `ReadM a -> Mod ArgumentFields a -> Parser a`, so change `Idris.CmdOptions` accordingly.