idris-lang/Idris-dev — pull request #1435 by david-christiansen (2014-07-28 18:39:05+00:00)
Title: Reinsert check for constructor/family mismatch.

It appears that the code to do this was accidentally deleted at some
point. It is now called again.

Fixes #1434.