on master help sign in
Support "Main.main" in other namespaces.
commit8cd3ea55b36017d09c1a2f6aa3da874f5e5f37f4 authorMatus Tejiscak <ziman@functor.sk> dateFri 4 Apr 2014, 15:45 (13 years ago) parent3048f4c
1 file changed+1−1
src/Idris/Erasure.hs+1−1
src/Idris/Erasure.hs+1−1
@@ -192,7 +192,7 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
192192 [ [] ==> concat
193193 -- These two, Main.main and run__IO, are always evaluated
194194 -- but they elude analysis since they come from the seed term.
195− [ [(sUN "main" `sNS` ["Main"], Result)]
195+ [ [(mainName, Result)]
196196 , [(sUN "run__IO", Result), (sUN "run__IO", Arg 0)]
197197
198198 -- MkIO is read by run__IO,