git.iko.soy/elk
on 4da491b help sign in
elk/src/Elm/Compiler.hs
179 lines 4.8 kB history raw
1{-# OPTIONS_GHC -Wall #-}
2module Elm.Compiler
3 ( version
4 , parseDependencies
5 , compile, Context(..), Result(..)
6 , Localizer, dummyLocalizer
7 , Error, errorToString, errorToJson, printError
8 , Warning, warningToString, warningToJson, printWarning
9 )
10 where
12import qualified Data.Aeson as Json
13import qualified Data.Map as Map
14import System.IO (Handle)
16import qualified AST.Module as Module
17import qualified AST.Module.Name as ModuleName
18import qualified Compile
19import qualified Docs.Check as Docs
20import qualified Elm.Compiler.Version
21import qualified Elm.Compiler.Module as PublicModule
22import qualified Elm.Docs as Docs
23import qualified Elm.Package as Package
24import qualified Generate.JavaScript as JS
25import qualified Parse.Module as Parse
26import qualified Parse.Parse as Parse
27import qualified Reporting.Annotation as A
28import qualified Reporting.Error as Error
29import qualified Reporting.Render.Type as RenderType
30import qualified Reporting.Report as Report
31import qualified Reporting.Result as Result
32import qualified Reporting.Warning as Warning
35-- VERSION
37version :: Package.Version
38version =
39 Elm.Compiler.Version.version
42-- DEPENDENCIES
44parseDependencies
45 :: String
46 -> Either [Error] (PublicModule.Name, [PublicModule.Name])
47parseDependencies sourceCode =
48 let
49 (Result.Result _warnings rawResult) =
50 Parse.parse sourceCode Parse.header
51 in
52 case rawResult of
53 Result.Err msgs ->
54 Left $ map (Error . A.map Error.Syntax) msgs
56 Result.Ok (Module.Header _kind name _docs _exports imports) ->
57 Right
58 ( PublicModule.Name name
59 , map (PublicModule.Name . fst . A.drop) imports
60 )
63-- COMPILATION
65{-| Compiles Elm source code to JavaScript. -}
66compile
67 :: Context
68 -> String
69 -> PublicModule.Interfaces
70 -> (Localizer, [Warning], Either [Error] Result)
72compile context source interfaces =
73 let
74 (Context packageName isExposed dependencies) =
75 context
77 (Result.Result (localizer, warnings) rawResult) =
78 do modul <- Compile.compile packageName dependencies interfaces source
79 docs <- docsGen isExposed modul
81 let interface = Module.toInterface packageName modul
82 let javascript = JS.generate modul
84 return (Result docs interface javascript)
85 in
86 ( maybe dummyLocalizer Localizer localizer
87 , map Warning warnings
88 , Result.destruct (Left . map Error) Right rawResult
89 )
92data Context = Context
93 { _packageName :: Package.Name
94 , _isExposed :: Bool
95 , _dependencies :: [PublicModule.CanonicalName]
96 }
99data Result = Result
100 { _docs :: Maybe Docs.Documentation
101 , _interface :: PublicModule.Interface
102 , _js :: String
103 }
106docsGen
107 :: Bool
108 -> Module.Optimized
109 -> Result.Result w Error.Error (Maybe Docs.Documentation)
110docsGen isExposed modul =
111 if not isExposed then
112 Result.ok Nothing
113 else
114 let
115 getChecked =
116 Docs.check (Module.exports modul) (Module.docs modul)
118 name =
119 PublicModule.Name (ModuleName._module (Module.name modul))
121 toDocs checked =
122 Docs.fromCheckedDocs name checked
123 in
124 (Just . toDocs) `fmap` Result.mapError Error.Docs getChecked
127-- DEALIASER
129newtype Localizer =
130 Localizer RenderType.Localizer
133dummyLocalizer :: Localizer
134dummyLocalizer =
135 Localizer Map.empty
138-- ERRORS
140newtype Error =
141 Error (A.Located Error.Error)
144errorToString :: Localizer -> String -> String -> Error -> String
145errorToString (Localizer localizer) location source (Error (A.A region err)) =
146 Report.toString location region (Error.toReport localizer err) source
149printError :: Handle -> Localizer -> String -> String -> Error -> IO ()
150printError handle (Localizer localizer) location source (Error (A.A region err)) =
151 Report.toHandle handle location region (Error.toReport localizer err) source
154errorToJson :: Localizer -> String -> Error -> Json.Value
155errorToJson (Localizer localizer) location (Error err) =
156 Error.toJson localizer location err
159-- WARNINGS
161newtype Warning =
162 Warning (A.Located Warning.Warning)
165warningToString :: Localizer -> String -> String -> Warning -> String
166warningToString (Localizer localizer) location source (Warning (A.A region wrn)) =
167 Report.toString location region (Warning.toReport localizer wrn) source
170printWarning :: Handle -> Localizer -> String -> String -> Warning -> IO ()
171printWarning handle (Localizer localizer) location source (Warning (A.A region wrn)) =
172 Report.toHandle handle location region (Warning.toReport localizer wrn) source
175warningToJson :: Localizer -> String -> Warning -> Json.Value
176warningToJson (Localizer localizer) location (Warning wrn) =
177 Warning.toJson localizer location wrn