@@ -49,17 +49,18 @@ compile pkg importDict interfaces source =
4949 canonical <- Result.mapError Error.Canonicalize $
5050 Canonicalize.canonicalize pkg importDict interfaces valid
5151
52− types <-
52+ annotations <-
5353 runTypeInference canonical
5454
5555 mains <- Result.mapError Error.Main $
56− TopLevelTypes.check types canonical
56+ TopLevelTypes.check annotations canonical
5757
58− () <- exhaustivenessCheck canonical
58+ () <-
59+ exhaustivenessCheck canonical
5960
6061 let (Optimize.Graph fields graph) = Optimize.optimize canonical
6162
62− Result.ok (I.fromModule types canonical, Opt.Graph mains graph fields)
63+ Result.ok (I.fromModule annotations canonical, Opt.Graph mains graph fields)
6364
6465
6566runTypeInference :: Can.Module -> Result i (Map.Map N.Name Can.Annotation)