idris-lang/Idris-dev — pull request #840 by SimonJF (2014-02-03 11:14:41+00:00)
Title:  (Temporarily) remove the remaining typecase checks.

6e1cac72fd0660cd26beb6bb1f7ed5a1b65ec9bd temporarily disables the
typecase test, but some checks remain and continue to cause undesired
behaviour. This patch temporarily disables the remaining checks.