idris-lang/Idris-dev — pull request #1088 by david-christiansen (2014-04-20 15:17:01+00:00)
Title: Better error messages for emulated FFI calls

Now, when they get an argument not in normal form, they say that this is the problem and suggest a solution.