1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 2010
5 * En/disable RTS options
7 * ---------------------------------------------------------------------------*/
13 RtsOptsNone, // +RTS causes an error
14 RtsOptsSafeOnly, // safe RTS options allowed; others cause an error
15 RtsOptsAll // all RTS options allowed
18 extern const RtsOptsEnabledEnum rtsOptsEnabled;
20 #endif /* RTSOPTS_H */