idris-lang/Idris-dev — pull request #1215 by david-christiansen (2014-05-09 18:49:31+00:00)
Title: Stop building packages if there are totality mismatches

This is to stop libraries from preventing executables to build later.

Fixes #1214.