idris-hackers/idris-mode — pull request #274 by david-christiansen (2014-11-01 21:42:45+00:00)
Title: Compute flycheck command line options properly

This causes flycheck to find the current packages from the buffer-local
packages variable as well as from the local .ipkg file.

Fixes #271.