git.iko.soy/Idris-dev
on master help sign in
runned stylize
57fb08eRui Barreiro
src/IRTS/CodegenJavaScript.hs+3−3
compare with master
unifiedsplit
@@ -11,13 +11,13 @@ module IRTS.CodegenJavaScript (codegenJavaScript
11 , JSTarget(..)
11 , JSTarget(..)
12 ) where
12 ) where
13
13
14+import Data.Char
15+import Data.Text (Text)
16+import qualified Data.Text as T
14import IRTS.CodegenCommon
17import IRTS.CodegenCommon
15import IRTS.JavaScript.Codegen
18import IRTS.JavaScript.Codegen
16import System.Directory
19import System.Directory
17import System.FilePath
20import System.FilePath
18−import Data.Char
19−import Data.Text (Text)
20−import qualified Data.Text as T
21
21
22
22
23data JSTarget = Node | JavaScript deriving Eq
23data JSTarget = Node | JavaScript deriving Eq
src/IRTS/JavaScript/AST.hs+2−2
@@ -12,10 +12,10 @@ module IRTS.JavaScript.AST( JsAST(..)
12 , js_aux_defs
12 , js_aux_defs
13 ) where
13 ) where
14
14
15+import Data.Char
16+import Data.Data
15import Data.Text (Text)
17import Data.Text (Text)
16import qualified Data.Text as T
18import qualified Data.Text as T
17−import Data.Data
18−import Data.Char
19import Numeric
19import Numeric
20
20
21data JsAST = JsEmpty
21data JsAST = JsEmpty
src/IRTS/JavaScript/Codegen.hs+12−12
@@ -13,33 +13,33 @@ module IRTS.JavaScript.Codegen( codegenJs
13 ) where
13 ) where
14
14
15import Control.DeepSeq
15import Control.DeepSeq
16−import IRTS.CodegenCommon
17−import IRTS.Lang
18import Idris.Core.TT
16import Idris.Core.TT
19−import IRTS.LangOpts
17+import IRTS.CodegenCommon
20import IRTS.JavaScript.AST
18import IRTS.JavaScript.AST
21import IRTS.JavaScript.LangTransforms
19import IRTS.JavaScript.LangTransforms
20+import IRTS.Lang
21+import IRTS.LangOpts
22import IRTS.System
22import IRTS.System
23
23
24+import Control.Monad.Trans.State
25+import Data.List (nub)
26+import Data.Map.Strict (Map)
27+import qualified Data.Map.Strict as Map
24import Data.Maybe (fromJust)
28import Data.Maybe (fromJust)
29+import Data.Set (Set)
30+import qualified Data.Set as Set
25import Data.Text (Text)
31import Data.Text (Text)
26import qualified Data.Text as T
32import qualified Data.Text as T
27import qualified Data.Text.IO as TIO
33import qualified Data.Text.IO as TIO
28−import Data.Set (Set)
29−import qualified Data.Set as Set
30−import Data.Map.Strict (Map)
31−import qualified Data.Map.Strict as Map
32−import Data.List (nub)
33import System.Directory (doesFileExist)
34import System.Directory (doesFileExist)
34−import System.FilePath
35−import Control.Monad.Trans.State
36import System.Environment
35import System.Environment
36+import System.FilePath
37
37
38−import GHC.Generics (Generic)
38+import Data.Char
39import Data.Data
39import Data.Data
40import Data.Generics.Uniplate.Data
40import Data.Generics.Uniplate.Data
41import Data.List
41import Data.List
42−import Data.Char
42+import GHC.Generics (Generic)
43
43
44data Partial = Partial Name Int Int deriving (Eq, Ord)
44data Partial = Partial Name Int Int deriving (Eq, Ord)
45
45
src/IRTS/JavaScript/LangTransforms.hs+11−10
@@ -5,29 +5,30 @@ Copyright :
5License : BSD3
5License : BSD3
6Maintainer : The Idris Community.
6Maintainer : The Idris Community.
7-}
7-}
8−{-# LANGUAGE DeriveDataTypeable, StandaloneDeriving, OverloadedStrings, DeriveGeneric, DeriveAnyClass, FlexibleInstances #-}
8+{-# LANGUAGE DeriveAnyClass, DeriveDataTypeable, DeriveGeneric,
9+ FlexibleInstances, OverloadedStrings, StandaloneDeriving #-}
9
10
10module IRTS.JavaScript.LangTransforms( used_defs
11module IRTS.JavaScript.LangTransforms( used_defs
11 ) where
12 ) where
12
13
13
14
14import Control.DeepSeq
15import Control.DeepSeq
15−import Data.Text (Text)
16+import Control.Monad.Trans.State
16−import qualified Data.Text as T
17−import Data.Set (Set)
18−import qualified Data.Set as Set
17+import Data.List
19import Data.Map.Strict (Map)
18import Data.Map.Strict (Map)
20import qualified Data.Map.Strict as Map
19import qualified Data.Map.Strict as Map
20+import Data.Maybe
21+import Data.Set (Set)
22+import qualified Data.Set as Set
23+import Data.Text (Text)
24+import qualified Data.Text as T
25+import Idris.Core.CaseTree
21import Idris.Core.TT
26import Idris.Core.TT
22import IRTS.Lang
27import IRTS.Lang
23−import Idris.Core.CaseTree
24−import Data.List
25−import Data.Maybe
26−import Control.Monad.Trans.State
27
28
28−import GHC.Generics (Generic)
29import Data.Data
29import Data.Data
30import Data.Generics.Uniplate.Data
30import Data.Generics.Uniplate.Data
31+import GHC.Generics (Generic)
31import Idris.Core.DeepSeq
32import Idris.Core.DeepSeq
32
33
33deriving instance Typeable (LAlt' LExp)
34deriving instance Typeable (LAlt' LExp)