Skip to content

Commit

Permalink
Issue idris-lang#3883: Updated messages according to @ahmadsalim
Browse files Browse the repository at this point in the history
  • Loading branch information
@mdimjasevic
mdimjasevic committed Sep 7, 2017
1 parent 6ea3989 commit f17a3b6
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions src/Idris/REPL.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1475,14 +1475,14 @@ process fn (PPrint fmt width t)
iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)


process fn Quit = iPrintError "Unimplemented pattern for command Quit"
process fn Reload = iPrintError "Unimplemented pattern for command Reload"
process fn Watch = iPrintError "Unimplemented pattern for command Watch"
process fn (Load _ _) = iPrintError "Unimplemented pattern for command Load"
process fn Edit = iPrintError "Unimplemented pattern for command Edit"
process fn Proofs = iPrintError "Unimplemented pattern for command Proofs"
process fn Quit = iPrintError "Command ':quit' is currently unsupported"
process fn Reload = iPrintError "Command ':reload' is currently unsupported"
process fn Watch = iPrintError "Command ':watch' is currently unsupported"
process fn (Load _ _) = iPrintError "Command ':load' is currently unsupported"
process fn Edit = iPrintError "Command ':edit' is currently unsupported"
process fn Proofs = iPrintError "Command ':proofs' is currently unsupported"
process fn (Verbosity _)
= iPrintError "Unimplemented pattern for command Verbosity"
= iPrintError "Command ':verbosity' is currently unsupported"


showTotal :: Totality -> IState -> Doc OutputAnnotation
Expand Down

0 comments on commit f17a3b6

Please sign in to comment.