@@ -80,7 +80,6 @@ data Outcome
8080 | NewType N.Name
8181 | NewWork B.Builder
8282 --
83− | Reset
8483 | Skip
8584 | Indent
8685 | DefStart N.Name
@@ -106,7 +105,7 @@ toOutcome artifacts state entry =
106105 Repl.Expr src -> compile artifacts state (ExprEntry src)
107106 Repl.Port -> NoPorts
108107 Repl.Skip -> Skip
109− Repl.Reset -> Reset
108+ Repl.Reset -> InvalidCommand
110109 Repl.Exit -> InvalidCommand
111110 Repl.Help _ -> InvalidCommand
112111
@@ -129,7 +128,6 @@ serveOutcome outcome =
129128 NewImport name -> serveString $ "add-import:" <> N.toBuilder name
130129 NewType name -> serveString $ "add-type:" <> N.toBuilder name
131130 NewWork js -> serveBuilder "application/javascript" js
132− Reset -> serveString $ "reset"
133131 Skip -> serveString $ "skip"
134132 Indent -> serveString $ "indent"
135133 DefStart name -> serveString $ "def-start:" <> N.toBuilder name