git.iko.soy/Idris-dev
on master help sign in
Unused imports
commit85707ceaaba34080dc48e4bc913dff83cc42e8ef authorJason Felice <jason.m.felice@gmail.com> dateTue 19 Sep 2017, 14:33 (9 years ago) parent391c93c
2 files changed−3
compare with master
unifiedsplit
test/TestData.hs−1 test/TestRun.hs−2
test/TestData.hs−1
@@ -1,7 +1,6 @@
11module TestData where
22
33import Data.IntMap as IMap
4−import Data.Map.Strict as Map
54import Data.Set as Set
65
76data Codegen = C | JS deriving (Show, Eq, Ord)
test/TestRun.hs−2
@@ -6,13 +6,11 @@ import TestData
66import Control.Monad
77import Data.Char (isLetter)
88import qualified Data.IntMap as IMap
9−import Data.List
109import Data.Monoid ((<>))
1110import Data.Proxy
1211import Data.Typeable
1312import Options.Applicative
1413import System.Directory
15−import System.Environment
1614import System.Exit
1715import System.FilePath ((</>))
1816import System.Info