@@ -1474,6 +1474,17 @@ process fn (PPrint fmt width t)
14741474 ty' = normaliseC ctxt [] ty
14751475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
14761476
1477+
1478+process fn Quit = iPrintError "Command ':quit' is currently unsupported"
1479+process fn Reload = iPrintError "Command ':reload' is currently unsupported"
1480+process fn Watch = iPrintError "Command ':watch' is currently unsupported"
1481+process fn (Load _ _) = iPrintError "Command ':load' is currently unsupported"
1482+process fn Edit = iPrintError "Command ':edit' is currently unsupported"
1483+process fn Proofs = iPrintError "Command ':proofs' is currently unsupported"
1484+process fn (Verbosity _)
1485+ = iPrintError "Command ':verbosity' is currently unsupported"
1486+
1487+
14771488showTotal :: Totality -> IState -> Doc OutputAnnotation
14781489showTotal t@(Partial (Other ns)) i
14791490 = text "possibly not total due to:" <$>