@@ -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