idris-hackers/idris-mode — pull request #233 by david-christiansen (2014-07-23 09:26:01+00:00)
Title: Fix loading with .ipkg files

This fixes a bug in interactive editing that showed up with hierarchical modules and packages.

It also factors out some common code to a separate function.