git.iko.soy/elk
on b9cc20e help sign in
elk/src/Compile.hs
61 lines 1.9 kB history raw
1module Compile (compile) where
3import qualified Data.Map as Map
5import qualified AST.Module as Module
6import qualified AST.Module.Name as ModuleName
7import qualified Canonicalize
8import Elm.Utils ((|>))
9import qualified Elm.Package as Package
10import qualified Nitpick.PatternMatches as Nitpick
11import qualified Nitpick.TopLevelTypes as Nitpick
12import qualified Parse.Helpers as Parse
13import qualified Parse.Parse as Parse
14import qualified Reporting.Error as Error
15import qualified Reporting.Result as Result
16import qualified Reporting.Warning as Warning
17import qualified Type.Inference as TI
20compile
21 :: Package.Name
22 -> Bool
23 -> [ModuleName.Canonical]
24 -> Module.Interfaces
25 -> String
26 -> Result.Result Warning.Warning Error.Error Module.CanonicalModule
28compile packageName isRoot canonicalImports interfaces source =
29 do
30 -- Parse the source code
31 validModule <-
32 Result.mapError Error.Syntax $
33 Parse.program packageName isRoot (getOpTable interfaces) source
35 -- Canonicalize all variables, pinning down where they came from.
36 canonicalModule <-
37 Canonicalize.module' canonicalImports interfaces validModule
39 -- Run type inference on the program.
40 types <-
41 Result.from Error.Type $
42 TI.infer interfaces canonicalModule
44 -- One last round of checks
45 Result.mapError Error.Type $
46 Nitpick.topLevelTypes types (Module.body validModule)
48 Nitpick.patternMatches interfaces canonicalModule
50 -- Add the real list of types
51 let body = (Module.body canonicalModule) { Module.types = types }
53 return $ canonicalModule { Module.body = body }
56getOpTable :: Module.Interfaces -> Parse.OpTable
57getOpTable interfaces =
58 Map.elems interfaces
59 |> concatMap Module.iFixities
60 |> map (\(assoc,lvl,op) -> (op,(lvl,assoc)))
61 |> Map.fromList