git.iko.soy/Idris-dev
on master help sign in
Remove unnecessary import from parser
a20cb92Joseph Morag
src/Idris/Parser.hs−1
compare with master
unifiedsplit
@@ -60,7 +60,6 @@ import qualified System.Directory as Dir (doesFileExist, getModificationTime,
60import System.FilePath
60import System.FilePath
61import Text.Megaparsec ((<?>))
61import Text.Megaparsec ((<?>))
62import qualified Text.Megaparsec as P
62import qualified Text.Megaparsec as P
63−import qualified Text.Megaparsec.Char as P
64import qualified Text.PrettyPrint.ANSI.Leijen as PP
63import qualified Text.PrettyPrint.ANSI.Leijen as PP
65
64
66{-
65{-