The GHC parser (in Haddock mode) failed:
  src/Idris/Parser.hs:1052:1
  parse error on input `@'

The GHC parser (in Haddock mode) failed:
  src/Idris/Parser/Expr.hs:75:1
  parse error on input `@'