git.iko.soy/Idris-dev
on master help sign in
runned stylize
commit57fb08e2da24ba876f25ed4ce5cd92c706bb6bfd authorRui Barreiro <rui.barreiro@gmail.com> dateWed 17 May 2017, 07:23 (9 years ago) parentd98e5f2
4 files changed+28−27
compare with master
unifiedsplit
src/IRTS/CodegenJavaScript.hs+3−3 src/IRTS/JavaScript/AST.hs+2−2 src/IRTS/JavaScript/Codegen.hs+12−12 src/IRTS/JavaScript/LangTransforms.hs+11−10
src/IRTS/CodegenJavaScript.hs+3−3
@@ -11,13 +11,13 @@ module IRTS.CodegenJavaScript (codegenJavaScript
1111 , JSTarget(..)
1212 ) where
1313
14+import Data.Char
15+import Data.Text (Text)
16+import qualified Data.Text as T
1417import IRTS.CodegenCommon
1518import IRTS.JavaScript.Codegen
1619import System.Directory
1720import System.FilePath
18−import Data.Char
19−import Data.Text (Text)
20−import qualified Data.Text as T
2121
2222
2323data JSTarget = Node | JavaScript deriving Eq
src/IRTS/JavaScript/AST.hs+2−2
@@ -12,10 +12,10 @@ module IRTS.JavaScript.AST( JsAST(..)
1212 , js_aux_defs
1313 ) where
1414
15+import Data.Char
16+import Data.Data
1517import Data.Text (Text)
1618import qualified Data.Text as T
17−import Data.Data
18−import Data.Char
1919import Numeric
2020
2121data JsAST = JsEmpty
src/IRTS/JavaScript/Codegen.hs+12−12
@@ -13,33 +13,33 @@ module IRTS.JavaScript.Codegen( codegenJs
1313 ) where
1414
1515import Control.DeepSeq
16−import IRTS.CodegenCommon
17−import IRTS.Lang
1816import Idris.Core.TT
19−import IRTS.LangOpts
17+import IRTS.CodegenCommon
2018import IRTS.JavaScript.AST
2119import IRTS.JavaScript.LangTransforms
20+import IRTS.Lang
21+import IRTS.LangOpts
2222import IRTS.System
2323
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
2428import Data.Maybe (fromJust)
29+import Data.Set (Set)
30+import qualified Data.Set as Set
2531import Data.Text (Text)
2632import qualified Data.Text as T
2733import 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)
3334import System.Directory (doesFileExist)
34−import System.FilePath
35−import Control.Monad.Trans.State
3635import System.Environment
36+import System.FilePath
3737
38−import GHC.Generics (Generic)
38+import Data.Char
3939import Data.Data
4040import Data.Generics.Uniplate.Data
4141import Data.List
42−import Data.Char
42+import GHC.Generics (Generic)
4343
4444data Partial = Partial Name Int Int deriving (Eq, Ord)
4545
src/IRTS/JavaScript/LangTransforms.hs+11−10
@@ -5,29 +5,30 @@ Copyright :
55License : BSD3
66Maintainer : The Idris Community.
77-}
8−{-# LANGUAGE DeriveDataTypeable, StandaloneDeriving, OverloadedStrings, DeriveGeneric, DeriveAnyClass, FlexibleInstances #-}
8+{-# LANGUAGE DeriveAnyClass, DeriveDataTypeable, DeriveGeneric,
9+ FlexibleInstances, OverloadedStrings, StandaloneDeriving #-}
910
1011module IRTS.JavaScript.LangTransforms( used_defs
1112 ) where
1213
1314
1415import Control.DeepSeq
15−import Data.Text (Text)
16−import qualified Data.Text as T
17−import Data.Set (Set)
18−import qualified Data.Set as Set
16+import Control.Monad.Trans.State
17+import Data.List
1918import Data.Map.Strict (Map)
2019import 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
2126import Idris.Core.TT
2227import IRTS.Lang
23−import Idris.Core.CaseTree
24−import Data.List
25−import Data.Maybe
26−import Control.Monad.Trans.State
2728
28−import GHC.Generics (Generic)
2929import Data.Data
3030import Data.Generics.Uniplate.Data
31+import GHC.Generics (Generic)
3132import Idris.Core.DeepSeq
3233
3334deriving instance Typeable (LAlt' LExp)