edwinb/Idris-dev — pull request #246 by Ralith (2013-03-18 17:49:47+00:00)
Title: More rigorous checking of validity for mkForeign calls

Specifically, this provides a nice error if something other than a literal list is provided as a foreign type specifier to mkForeign.