Remove dead code
commitcbbdb3e750d3619fb4ba16432dd48cf1a7448d12
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 23 Feb 2015, 10:33 (12 years ago)
parentee8fce0
src/Idris/Core/Elaborate.hs−7
@@ -28,13 +28,6 @@ import Debug.Trace
2828
2929import Util.Pretty hiding (fill)
3030
31−-- I don't really want this here, but it's useful for the test shell
32−data Command = Theorem Name Raw
33− | Eval Raw
34− | Quit
35− | Print Name
36− | Tac (Elab ())
37−
3831data ElabState aux = ES (ProofState, aux) String (Maybe (ElabState aux))
3932 deriving Show
4033