@@ -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 "Unimplemented pattern for command Quit"
1479+process fn Reload = iPrintError "Unimplemented pattern for command Reload"
1480+process fn Watch = iPrintError "Unimplemented pattern for command Watch"
1481+process fn (Load _ _) = iPrintError "Unimplemented pattern for command Load"
1482+process fn Edit = iPrintError "Unimplemented pattern for command Edit"
1483+process fn Proofs = iPrintError "Unimplemented pattern for command Proofs"
1484+process fn (Verbosity _)
1485+ = iPrintError "Unimplemented pattern for command Verbosity"
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:" <$>