@@ -1475,14 +1475,14 @@ process fn (PPrint fmt width t)
1475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
1475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
1478−process fn Quit = iPrintError "Unimplemented pattern for command Quit"
1478+process fn Quit = iPrintError "Command ':quit' is currently unsupported"
1479−process fn Reload = iPrintError "Unimplemented pattern for command Reload"
1479+process fn Reload = iPrintError "Command ':reload' is currently unsupported"
1480−process fn Watch = iPrintError "Unimplemented pattern for command Watch"
1480+process fn Watch = iPrintError "Command ':watch' is currently unsupported"
1481−process fn (Load _ _) = iPrintError "Unimplemented pattern for command Load"
1481+process fn (Load _ _) = iPrintError "Command ':load' is currently unsupported"
1482−process fn Edit = iPrintError "Unimplemented pattern for command Edit"
1482+process fn Edit = iPrintError "Command ':edit' is currently unsupported"
1483−process fn Proofs = iPrintError "Unimplemented pattern for command Proofs"
1483+process fn Proofs = iPrintError "Command ':proofs' is currently unsupported"
1484process fn (Verbosity _)
1484process fn (Verbosity _)
1485− = iPrintError "Unimplemented pattern for command Verbosity"
1485+ = iPrintError "Command ':verbosity' is currently unsupported"
1488showTotal :: Totality -> IState -> Doc OutputAnnotation
1488showTotal :: Totality -> IState -> Doc OutputAnnotation