idris-lang/Idris-dev — pull request #1506 by suhorng (2014-09-01 16:13:55+00:00)
Title: fix compatibility with optparse-applicative 0.10

optparse-applicative 0.9 and 0.10 are incompatible,
- The `option` API has changed
- `execParserMaybe` is deprecated