idris-hackers/idris-mode — pull request #95 by david-christiansen (2014-03-12 20:52:40+00:00)
Title: Update for changed FC format from ideslave

IDESlave is in the process of growing spans. This fixes the old behavior,
pretending there are no spans.