blob: b8eab68d3b62c33726d027178d02072cf2040f9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/* -----------------------------------------------------------------------------
*
* (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 */
|
