@@ -70,7 +70,7 @@ getIModTime (LIDR i) = getModificationTime i
71buildTree :: [FilePath] -> -- already guaranteed built
71buildTree :: [FilePath] -> -- already guaranteed built
72 FilePath -> Idris [ModuleTree]
72 FilePath -> Idris [ModuleTree]
73−buildTree built fp = btree [] fp
73+buildTree built fp = btree [] fp
74-- = idrisCatch (btree [] fp)
74-- = idrisCatch (btree [] fp)
75-- (\e -> do now <- runIO $ getCurrentTime
75-- (\e -> do now <- runIO $ getCurrentTime
76-- iputStrLn (show e)
76-- iputStrLn (show e)
@@ -114,6 +114,10 @@ buildTree built fp = btree [] fp
115 -- FIXME: It's also not up to date if anything it imports has
115 -- FIXME: It's also not up to date if anything it imports has
116 -- been modified since its own ibc has.
116 -- been modified since its own ibc has.
118+ -- Issue #1592 on the issue tracker.
120+ -- https://github.com/idris-lang/Idris-dev/issues/1592
118 checkIBCUpToDate fn (LIDR src) = older fn src
122 checkIBCUpToDate fn (LIDR src) = older fn src
119 checkIBCUpToDate fn (IDR src) = older fn src
123 checkIBCUpToDate fn (IDR src) = older fn src