@@ -123,7 +123,10 @@ buildTree built fp = btree [] fp
124 -- https://github.com/idris-lang/Idris-dev/issues/1592
124 -- https://github.com/idris-lang/Idris-dev/issues/1592
125 ibcOutdated <- fn `younger` (getSrcFile src)
125 ibcOutdated <- fn `younger` (getSrcFile src)
126+ -- FIXME (EB): The below 'hasValidIBCVersion' that's
127+ -- commented out appears to be breaking reloading in vim
128+ -- mode. Until we know why, I've commented it out.
126− ibcValid <- hasValidIBCVersion fn
129+ ibcValid <- return True -- hasValidIBCVersion fn
127 return [MTree (IBC fn src) (ibcOutdated || not ibcValid) mt ms]
130 return [MTree (IBC fn src) (ibcOutdated || not ibcValid) mt ms]
129 getSrcFile (IBC _ src) = getSrcFile src
132 getSrcFile (IBC _ src) = getSrcFile src