idris-hackers/idris-mode — pull request #243 by david-christiansen (2014-08-04 20:58:45+00:00)
Title: Make :x and type providers work conveniently

This puts the process buffer into comint mode and causes it to pop to the front when something interesting happens in it, so that users aren't wondering what's happening.

Fixes #21.

This also fixes a compiler warning.