From c27d86e0ab0f2876246bd592d32b9e2f3723ec53 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 27 Oct 2005 15:18:50 +0000
Subject: [PATCH] [project @ 2005-10-27 15:18:50 by simonmar]
 rtsFatalInternalError(): better to abort() rather than just
 stg_exit(), at least then we get a core dump.

---
 ghc/rts/RtsMessages.c |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/rts/RtsMessages.c b/ghc/rts/RtsMessages.c
index aefee4c..a690614 100644
--- a/ghc/rts/RtsMessages.c
+++ b/ghc/rts/RtsMessages.c
@@ -139,7 +139,8 @@ rtsFatalInternalErrorFn(char *s, va_list ap)
      fflush(stderr);
   }
 
-  stg_exit(EXIT_INTERNAL_ERROR);
+  abort();
+  // stg_exit(EXIT_INTERNAL_ERROR);
 }
 
 void
-- 
1.7.10.4