idris: patch for GHC 8
idris: patch for GHC 8

This is adapted from the patch in idris-lang/Idris-dev#3226 with the
only difference being that it works with the released version of the
trifecta dependency (1.5.2) rather than ekmett/trifecta@53f76115.

Closes #36.

Signed-off-by: ilovezfs <fbd54dbbcf9e596abad4ccdc4dfc17f80ebeaee2@icloud.com>

Homebrew/patches,Homebrew/patches