git.iko.soy/Idris-dev
on master help sign in
Remove redundant imports
96c1aeaThomas Scholtes
src/IRTS/JavaScript/Codegen.hs+3−10
compare with master
unifiedsplit
@@ -20,17 +20,16 @@ import IRTS.JavaScript.Name
20import IRTS.JavaScript.PrimOp
20import IRTS.JavaScript.PrimOp
21import IRTS.JavaScript.Specialize
21import IRTS.JavaScript.Specialize
22import IRTS.Lang
22import IRTS.Lang
23−import IRTS.LangOpts
24import IRTS.System
23import IRTS.System
25
24
25+import Control.Applicative (pure, (<$>))
26import Control.Monad
26import Control.Monad
27import Control.Monad.Trans.State
27import Control.Monad.Trans.State
28import Data.Foldable (foldMap)
28import Data.Foldable (foldMap)
29−import Data.List (nub)
29+import Data.Generics.Uniplate.Data
30+import Data.List
30import Data.Map.Strict (Map)
31import Data.Map.Strict (Map)
31import qualified Data.Map.Strict as Map
32import qualified Data.Map.Strict as Map
32−import Data.Maybe (fromJust)
33−import Data.Monoid
34import Data.Set (Set)
33import Data.Set (Set)
35import qualified Data.Set as Set
34import qualified Data.Set as Set
36import Data.Text (Text)
35import Data.Text (Text)
@@ -40,12 +39,6 @@ import System.Directory (doesFileExist)
40import System.Environment
39import System.Environment
41import System.FilePath
40import System.FilePath
42
41
43−import Control.Applicative (pure, (<$>))
44−import Data.Char
45−import Data.Data
46−import Data.Generics.Uniplate.Data
47−import Data.List
48−import GHC.Generics (Generic)
49
42
50-- | Code generation stats hold information about the generated user
43-- | Code generation stats hold information about the generated user
51-- code. Based on that information we add additional code to make
44-- code. Based on that information we add additional code to make