@@ -80,7 +80,6 @@ data Outcome
80 | NewType N.Name
80 | NewType N.Name
81 | NewWork B.Builder
81 | NewWork B.Builder
86 | DefStart N.Name
85 | DefStart N.Name
@@ -106,7 +105,7 @@ toOutcome artifacts state entry =
106 Repl.Expr src -> compile artifacts state (ExprEntry src)
105 Repl.Expr src -> compile artifacts state (ExprEntry src)
107 Repl.Port -> NoPorts
106 Repl.Port -> NoPorts
108 Repl.Skip -> Skip
107 Repl.Skip -> Skip
109− Repl.Reset -> Reset
108+ Repl.Reset -> InvalidCommand
110 Repl.Exit -> InvalidCommand
109 Repl.Exit -> InvalidCommand
111 Repl.Help _ -> InvalidCommand
110 Repl.Help _ -> InvalidCommand
@@ -129,7 +128,6 @@ serveOutcome outcome =
129 NewImport name -> serveString $ "add-import:" <> N.toBuilder name
128 NewImport name -> serveString $ "add-import:" <> N.toBuilder name
130 NewType name -> serveString $ "add-type:" <> N.toBuilder name
129 NewType name -> serveString $ "add-type:" <> N.toBuilder name
131 NewWork js -> serveBuilder "application/javascript" js
130 NewWork js -> serveBuilder "application/javascript" js
132− Reset -> serveString $ "reset"
133 Skip -> serveString $ "skip"
131 Skip -> serveString $ "skip"
134 Indent -> serveString $ "indent"
132 Indent -> serveString $ "indent"
135 DefStart name -> serveString $ "def-start:" <> N.toBuilder name
133 DefStart name -> serveString $ "def-start:" <> N.toBuilder name