diff options
Diffstat (limited to 'includes/RtsOpts.h')
| -rw-r--r-- | includes/RtsOpts.h | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/includes/RtsOpts.h b/includes/RtsOpts.h deleted file mode 100644 index b8eab68d3b..0000000000 --- a/includes/RtsOpts.h +++ /dev/null @@ -1,20 +0,0 @@ -/* ----------------------------------------------------------------------------- - * - * (c) The GHC Team, 2010 - * - * En/disable RTS options - * - * ---------------------------------------------------------------------------*/ - -#ifndef RTSOPTS_H -#define RTSOPTS_H - -typedef enum { - RtsOptsNone, // +RTS causes an error - RtsOptsSafeOnly, // safe RTS options allowed; others cause an error - RtsOptsAll // all RTS options allowed - } RtsOptsEnabledEnum; - -extern const RtsOptsEnabledEnum rtsOptsEnabled; - -#endif /* RTSOPTS_H */ |