git.iko.soy/elk
on master help sign in
Combine two Metadata files into one
a4468d2Evan Czaplicki
compiler/Metadata/Libraries.hs+37−12
compare with master
unifiedsplit
@@ -1,26 +1,51 @@
1−module Metadata.Libraries (libraries, addPrelude) where
1+module Metadata.Libraries (interfaces, addPrelude) where
2
2
3−import Control.Applicative ((<$>),(<*>))
4import qualified Data.Map as Map
3import qualified Data.Map as Map
5−import Data.List (inits)
4+import qualified Control.Exception as E
6−import Text.JSON
5+import qualified Paths_Elm as Path
7−import Metadata.Load as Load
6+import System.Directory
7+import System.Exit
8+import System.FilePath
9+import System.IO.Unsafe (unsafePerformIO)
8import SourceSyntax.Module
10import SourceSyntax.Module
11+import Data.Binary
12+
9
13
10addPrelude :: Module t v -> Module t v
14addPrelude :: Module t v -> Module t v
11addPrelude (Module name exs ims stmts) = Module name exs (customIms ++ ims) stmts
15addPrelude (Module name exs ims stmts) = Module name exs (customIms ++ ims) stmts
16+ where
12− where customIms = concatMap addModule prelude
17+ customIms = concatMap addModule prelude
13
18
14− addModule (n, method) = case lookup n ims of
19+ addModule (n, method) = case lookup n ims of
15− Nothing -> [(n, method)]
20+ Nothing -> [(n, method)]
16− Just (As m) -> [(n, method)]
21+ Just (As m) -> [(n, method)]
17− Just _ -> []
22+ Just _ -> []
18
23
24+prelude :: [(String, ImportMethod)]
19prelude = text : map (\n -> (n, Hiding [])) modules
25prelude = text : map (\n -> (n, Hiding [])) modules
20 where
26 where
21 text = ("Text", Hiding ["link", "color", "height"])
27 text = ("Text", Hiding ["link", "color", "height"])
22 modules = [ "Prelude", "Signal", "List", "Maybe", "Time"
28 modules = [ "Prelude", "Signal", "List", "Maybe", "Time"
23 , "Graphics.Element", "Color", "Graphics.Collage" ]
29 , "Graphics.Element", "Color", "Graphics.Collage" ]
24
30
25−libraries :: Map.Map String (Map.Map String String)
31+{-# NOINLINE interfaces #-}
26−libraries = Map.empty
32+interfaces :: Interfaces
33+interfaces =
34+ unsafePerformIO (safeReadDocs =<< Path.getDataFileName "interfaces.data")
35+
36+safeReadDocs :: FilePath -> IO Interfaces
37+safeReadDocs name =
38+ E.catch (readDocs name) $ \err -> do
39+ putStrLn $ unlines [ "Error reading types for standard library!"
40+ , " " ++ show (err :: IOError)
41+ , "The file should be located here: " ++ name
42+ , " If you are using a stable version of Elm,"
43+ , " please report an issue at github.com/evancz/Elm"
44+ , " and specify your versions of Elm and your OS" ]
45+ exitFailure
46+
47+readDocs :: FilePath -> IO Interfaces
48+readDocs name = do
49+ exists <- doesFileExist name
50+ if exists then decodeFile name
51+ else ioError . userError $ "File Not Found"
compiler/Metadata/Load.hsdeleted−37
@@ -1,37 +0,0 @@
1−module Metadata.Load (interfaces) where
2−
3−import qualified Control.Exception as E
4−import Paths_Elm
5−import System.Directory
6−import System.Exit
7−import System.FilePath
8−import System.IO.Unsafe (unsafePerformIO)
9−import SourceSyntax.Module
10−import Data.Binary
11−
12−-- See stackoverflow discussion for trade-off between using unsafeIO or TemplateHaskell:
13−-- http://stackoverflow.com/questions/12716215/load-pure-global-variable-from-file
14−
15−-- Given the awkwardness of including a compile-time generated file
16−-- vs loading static data, then the unsafeIO seems better.
17−
18−{-# NOINLINE interfaces #-}
19−interfaces :: [ModuleInterface]
20−interfaces = unsafePerformIO (safeReadDocs =<< getDataFileName "interfaces.data")
21−
22−safeReadDocs :: FilePath -> IO [ModuleInterface]
23−safeReadDocs name =
24− E.catch (readDocs name) $ \err -> do
25− putStrLn $ unlines [ "Error reading types for standard library!"
26− , " The file should be located here: " ++ name
27− , " If you are using a stable version of Elm,"
28− , " please report an issue at github.com/evancz/Elm"
29− , " and specify your versions of Elm and your OS" ]
30− print (err :: IOError)
31− exitFailure
32−
33−readDocs :: FilePath -> IO [ModuleInterface]
34−readDocs name = do
35− exists <- doesFileExist name
36− if exists then decodeFile name
37− else ioError . userError $ "File Not Found"