idris-lang/Idris-dev — pull request #1139 by ziman (2014-04-30 21:49:32+00:00)
Title: Add two uncovered cases to substSC

Two trivial cases uncovered in `substSC` prevented certain programs from compiling. This patch fixes it.