@@ -70,7 +70,7 @@ getIModTime (LIDR i) = getModificationTime i
7070
7171buildTree :: [FilePath] -> -- already guaranteed built
7272 FilePath -> Idris [ModuleTree]
73−buildTree built fp = btree [] fp
73+buildTree built fp = btree [] fp
7474-- = idrisCatch (btree [] fp)
7575-- (\e -> do now <- runIO $ getCurrentTime
7676-- iputStrLn (show e)
@@ -114,6 +114,10 @@ buildTree built fp = btree [] fp
114114
115115 -- FIXME: It's also not up to date if anything it imports has
116116 -- been modified since its own ibc has.
117+ --
118+ -- Issue #1592 on the issue tracker.
119+ --
120+ -- https://github.com/idris-lang/Idris-dev/issues/1592
117121
118122 checkIBCUpToDate fn (LIDR src) = older fn src
119123 checkIBCUpToDate fn (IDR src) = older fn src