@@ -170,11 +170,11 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
170170 postulates =
171171 [ [] ==> concat
172172 -- 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.
174174 [ [(sUN "main" `sNS` ["Main"], Result)]
175175 , [(sUN "run__IO", Result), (sUN "run__IO", Arg 0)]
176176
177− -- MkIO is presumably read by run__IO,
177+ -- MkIO is read by run__IO,
178178 -- but this cannot be observed in the source code of programs.
179179 , it "MkIO" [1]
180180 , it "prim__IO" [1]