@@ -18,7 +18,7 @@ import IRTS.System (getIdrisLibDir)
19import Control.Applicative ((<$>))
19import Control.Applicative ((<$>))
20import Control.Monad.State.Strict
20import Control.Monad.State.Strict
21−import Data.Char (isDigit, isAlpha, toLower)
21+import Data.Char (isAlpha, isDigit, toLower)
22import Data.List (isSuffixOf)
22import Data.List (isSuffixOf)
23import System.Directory
23import System.Directory
24import System.FilePath
24import System.FilePath