Merge PR #132: Update Truffle to 0.25

smarr · Apr 23, 2017 · 8004a11 · 8004a11
2 parents dbcd883 + 801a26d
commit 8004a11
Show file tree

Hide file tree

Showing 65 changed files with 816 additions and 620 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,7 +2,7 @@
 
 ## [Unreleased] - [Work in Progress][v4]
 
-  - 
+  - Updated to Truffle 0.25
 
 ## [0.3.0] - [2017-04-06 &lt;Programming&gt;'17 Demo][v3]
 

diff --git a/libs/mx b/libs/mx
diff --git a/libs/truffle b/libs/truffle
diff --git a/src/som/UncaughtExceptions.java b/src/som/UncaughtExceptions.java
@@ -0,0 +1,24 @@
+package som;
+
+import java.lang.Thread.UncaughtExceptionHandler;
+
+import tools.concurrency.TracingActivityThread;
+
+
+/**
+ * In case an actor processing thread terminates, provide some info.
+ */
+public final class UncaughtExceptions implements UncaughtExceptionHandler {
+
+  @Override
+  public void uncaughtException(final Thread t, final Throwable e) {
+    if (e instanceof ThreadDeath) {
+      // Ignore those, we already signaled an error
+      return;
+    }
+    TracingActivityThread thread = (TracingActivityThread) t;
+    VM.errorPrintln("Processing failed for: "
+        + thread.getActivity().toString());
+    e.printStackTrace();
+  }
+}