git.iko.soy/elk
on master help sign in
cosmetic: rename types to annotations
810172eEvan Czaplicki
src/Compile.hs+5−4
compare with master
unifiedsplit
@@ -49,17 +49,18 @@ compile pkg importDict interfaces source =
49 canonical <- Result.mapError Error.Canonicalize $
49 canonical <- Result.mapError Error.Canonicalize $
50 Canonicalize.canonicalize pkg importDict interfaces valid
50 Canonicalize.canonicalize pkg importDict interfaces valid
51
51
52− types <-
52+ annotations <-
53 runTypeInference canonical
53 runTypeInference canonical
54
54
55 mains <- Result.mapError Error.Main $
55 mains <- Result.mapError Error.Main $
56− TopLevelTypes.check types canonical
56+ TopLevelTypes.check annotations canonical
57
57
58+ () <-
58− () <- exhaustivenessCheck canonical
59+ exhaustivenessCheck canonical
59
60
60 let (Optimize.Graph fields graph) = Optimize.optimize canonical
61 let (Optimize.Graph fields graph) = Optimize.optimize canonical
61
62
62− Result.ok (I.fromModule types canonical, Opt.Graph mains graph fields)
63+ Result.ok (I.fromModule annotations canonical, Opt.Graph mains graph fields)
63
64
64
65
65runTypeInference :: Can.Module -> Result i (Map.Map N.Name Can.Annotation)
66runTypeInference :: Can.Module -> Result i (Map.Map N.Name Can.Annotation)