idris-hackers/idris-mode — pull request #164 by hannesm (2014-05-24 08:42:54+00:00)
Title: test whether result from load is a string, if it is, do not try to use it as a fc

fixes #163

I've not tested this patch, please do before merge! :)