@@ -1474,6 +1474,17 @@ process fn (PPrint fmt width t)
1474 ty' = normaliseC ctxt [] ty
1474 ty' = normaliseC ctxt [] ty
1475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
1475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
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"
1477showTotal :: Totality -> IState -> Doc OutputAnnotation
1488showTotal :: Totality -> IState -> Doc OutputAnnotation
1478showTotal t@(Partial (Other ns)) i
1489showTotal t@(Partial (Other ns)) i
1479 = text "possibly not total due to:" <$>
1490 = text "possibly not total due to:" <$>