git.iko.soy/Idris-dev
on master help sign in
(Temporary) remove hasValidIBCVersion check

In Chaser.hs - it appears to be breaking reloading in vim, making interactive mode not work a lot of the time, and until someone works out why it seems best removed...

commitbddc058df61f8d87b4215bdbd175c76e68f7a7fb authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 13 Aug 2015, 15:47 (11 years ago) parent2924079
1 file changed+4−1
compare with master
unifiedsplit
src/Idris/Chaser.hs+4−1
src/Idris/Chaser.hs+4−1
@@ -123,7 +123,10 @@ buildTree built fp = btree [] fp
123123 --
124124 -- https://github.com/idris-lang/Idris-dev/issues/1592
125125 ibcOutdated <- fn `younger` (getSrcFile src)
126− ibcValid <- hasValidIBCVersion fn
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.
129+ ibcValid <- return True -- hasValidIBCVersion fn
127130 return [MTree (IBC fn src) (ibcOutdated || not ibcValid) mt ms]
128131
129132 getSrcFile (IBC _ src) = getSrcFile src