@@ -102,7 +102,8 @@ buildDepMap ci ctx ns = addPostulates $ dfs S.empty M.empty ns
103 -- these have been discovered as builtins but are not listed
103 -- these have been discovered as builtins but are not listed
104 -- among Idris.Primitives.primitives
104 -- among Idris.Primitives.primitives
105− , mn "__MkPair" [0,1]
105+ , mn "__MkPair" [0,1]
106+ , it "prim_fork" [0]
107 -- believe_me only uses its third argument
108 -- believe_me only uses its third argument
108 -- it is special-cased in usedNames above
109 -- it is special-cased in usedNames above