git.iko.soy/Idris-dev
on master help sign in
Standardisation of pattern matching failure on stderr for node backend.
467aa46Guillaume Yziquel
src/IRTS/JavaScript/AST.hs+5−1
compare with master
unifiedsplit
@@ -202,7 +202,11 @@ jsStmt2Text (JsSwitchCase exp l d) =
202 default2Text Nothing = ""
202 default2Text Nothing = ""
203 default2Text (Just z) =
203 default2Text (Just z) =
204 T.concat ["default:\n", indent $ T.concat [jsStmt2Text z, ";\nbreak;\n"]]
204 T.concat ["default:\n", indent $ T.concat [jsStmt2Text z, ";\nbreak;\n"]]
205−jsStmt2Text (JsError t) = T.concat ["throw new Error( ", jsAst2Text t, ");"]
205+jsStmt2Text (JsError t) =
206+ T.concat
207+ [ "console.error(", jsAst2Text t, ");\n"
208+ , "process.exit(-1);"
209+ ]
206jsStmt2Text (JsForever x) =
210jsStmt2Text (JsForever x) =
207 T.concat ["for(;;) {\n", indent $ jsStmt2Text x, "}\n"]
211 T.concat ["for(;;) {\n", indent $ jsStmt2Text x, "}\n"]
208jsStmt2Text JsContinue = "continue;"
212jsStmt2Text JsContinue = "continue;"