on master help sign in
Update return types in Compile.compile
commit51e20357137ebc9c3f6136cf0a3fe21c24027f39 authorEvan Czaplicki <evancz@users.noreply.github.com> dateMon 25 Mar 2019, 13:33 (8 years ago) parent30232a7
1 file changed+4−4
compiler/src/Compile.hs+4−4
compiler/src/Compile.hs+4−4
@@ -36,13 +36,13 @@ data Artifacts =
3636 Artifacts
3737 { _modul :: Can.Module
3838 , _types :: Map.Map Name.Name Can.Annotation
39− , _graph :: Opt.Graph
39+ , _graph :: Opt.LocalGraph
4040 }
4141
4242
43−compile :: Pkg.Name -> Map.Map ModuleName.Raw I.Interface -> Src.Module -> ([W.Warning], Either (OneOrMore.OneOrMore E.Error) Artifacts)
43+compile :: Pkg.Name -> Map.Map ModuleName.Raw I.Interface -> Src.Module -> Either (OneOrMore.OneOrMore E.Error) Artifacts
4444compile pkg ifaces modul =
45− R.run $
45+ snd $ R.run $
4646 do canonical <- canonicalize pkg ifaces modul
4747 annotations <- typeCheck canonical
4848 () <- nitpick canonical
@@ -79,6 +79,6 @@ nitpick canonical =
7979 R.throw (E.Pattern errors)
8080
8181
82−optimize :: Map.Map Name.Name Can.Annotation -> Can.Module -> R.Result i [W.Warning] E.Error Opt.Graph
82+optimize :: Map.Map Name.Name Can.Annotation -> Can.Module -> R.Result i [W.Warning] E.Error Opt.LocalGraph
8383optimize annotations canonical =
8484 R.mapError E.Main $ Optimize.optimize annotations canonical