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