@@ -170,11 +170,11 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
170 postulates =
170 postulates =
171 [ [] ==> concat
171 [ [] ==> concat
172 -- These two, Main.main and run__IO, are always evaluated
172 -- These two, Main.main and run__IO, are always evaluated
173− -- but they evade analysis since they come from the seed term.
173+ -- but they elude analysis since they come from the seed term.
174 [ [(sUN "main" `sNS` ["Main"], Result)]
174 [ [(sUN "main" `sNS` ["Main"], Result)]
175 , [(sUN "run__IO", Result), (sUN "run__IO", Arg 0)]
175 , [(sUN "run__IO", Result), (sUN "run__IO", Arg 0)]
177− -- MkIO is presumably read by run__IO,
177+ -- MkIO is read by run__IO,
178 -- but this cannot be observed in the source code of programs.
178 -- but this cannot be observed in the source code of programs.
179 , it "MkIO" [1]
179 , it "MkIO" [1]
180 , it "prim__IO" [1]
180 , it "prim__IO" [1]