The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

MichelNielsen (7) [Avatar] Offline
Today I was playing with some code example in vim with the idris plugin and happily doing some automatic refinements and stuff...
However, after a while I discovered that some code was gone. I suspect that the code vanished because I was running a program (:exec replWith .....) in the idris REPL while doing refinements, checking types and docs and so on from within vim.

The problem might only exist when using vim, however I felt that I better post a warning to prevent other poor souls from suddenly loosing a lot of code..
It was just a few lines in my case (undo not possible since I had many edits I didn't want to loose), but I can imagine scary scenarios with hours of work lost.