Skip to content

Instantly share code, notes, and snippets.

@null-a
Created March 10, 2017 08:36
Show Gist options
  • Save null-a/439c4ee09494b49a27cbb255fdb58a2e to your computer and use it in GitHub Desktop.
Save null-a/439c4ee09494b49a27cbb255fdb58a2e to your computer and use it in GitHub Desktop.
diff --git a/webppl b/webppl
index 3010f42..0e2141a 100755
--- a/webppl
+++ b/webppl
@@ -36,6 +36,7 @@ function run(code, packages, verbose, debug, programFile) {
try {
var stack = errors.recoverStack(error, parseV8);
showError(error, stack, programFile, debug);
+ console.log(error.stack);
process.exitCode = 1;
} catch (e) {
// If we fail to generate a readable error message re-throw
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment