edwinb/Idris-dev — pull request #264 by david-christiansen (2013-03-31 18:27:24+00:00)
Title: Add type provider errors + test case

Type provider errors now signal a top-level error. test023 contains a
trivially succeeding type provder and a trivially failing type provider.