From 95256bc8787b3a9cdbd50f6dafadf5d84354a3e8 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 26 Apr 2000 09:29:37 +0000
Subject: [PATCH] [project @ 2000-04-26 09:29:37 by simonmar] comment-only
clarifications; Killed means "uncaught exception".
---
ghc/includes/RtsAPI.h | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/ghc/includes/RtsAPI.h b/ghc/includes/RtsAPI.h
index b28d7abc7da2..b6fd0f1afc01 100644
--- a/ghc/includes/RtsAPI.h
+++ b/ghc/includes/RtsAPI.h
@@ -1,5 +1,5 @@
/* ----------------------------------------------------------------------------
- * $Id: RtsAPI.h,v 1.12 2000/04/10 14:28:14 sewardj Exp $
+ * $Id: RtsAPI.h,v 1.13 2000/04/26 09:29:37 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
@@ -14,10 +14,10 @@
* Running the scheduler
*/
typedef enum {
- NoStatus, /* not finished yet */
- Success,
- Killed, /* another thread killed us */
- Interrupted, /* stopped in response to a call to interruptStgRts */
+ NoStatus, /* not finished yet */
+ Success, /* completed successfully */
+ Killed, /* uncaught exception */
+ Interrupted, /* stopped in response to a call to interruptStgRts */
Deadlock /* no threads to run, but main thread hasn't finished */
} SchedulerStatus;
--
GitLab