idris-lang/Idris-dev — pull request #621 by hannesm (2013-11-18 17:00:03+00:00)
Title: Remove "CaseSplit" constructor and implementation which could never

be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer
need to export "split" from CaseSplit.hs