@@ -5,7 +5,7 @@
5module Pkg.PParser where
5module Pkg.PParser where
7import Text.Trifecta hiding (span, charLiteral, natural, symbol, char, string, whiteSpace)
7import Text.Trifecta hiding (span, charLiteral, natural, symbol, char, string, whiteSpace)
8−
8+import qualified Text.PrettyPrint.ANSI.Leijen as PP
9import Idris.Core.TT
9import Idris.Core.TT
10import Idris.REPL
10import Idris.REPL
11import Idris.AbsSyntaxTree
11import Idris.AbsSyntaxTree
@@ -51,7 +51,7 @@ parseDesc :: FilePath -> IO PkgDesc
51parseDesc fp = do
51parseDesc fp = do
52 p <- readFile fp
52 p <- readFile fp
53 case runparser pPkg defaultPkg fp p of
53 case runparser pPkg defaultPkg fp p of
54− Failure err -> fail (show err)
54+ Failure err -> fail (show $ PP.plain err)
55 Success x -> return x
55 Success x -> return x
57pPkg :: PParser PkgDesc
57pPkg :: PParser PkgDesc