@@ -174,6 +174,10 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
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 but this cannot be observed
178+ -- in the source code of programs.
179+ , it "MkIO" [1]
180+
177181 -- these have been discovered as builtins but are not listed
178182 -- among Idris.Primitives.primitives
179183 , mn "__MkPair" [0,1]