Changeset 4060 for src/Pugs/Internals.hs

Timestamp:

05/28/05 17:32:25 (4 years ago)

Author:

iblech

svk:copy_cache_prev:

5515

Message:

Pugs.Prim, Pugs.Internals, Pugs.Run: safemode.
If the environment variable %*ENV<PUGS_SAFEMODE> is set to "true", the prims
marked as "unsafe" in the big table of Pugs.Prim are not imported into the pad,
so they can't be used.
Autrijus: The simple substitution of runEvalIO to runEvalSTM isn't so simple as
we've thought, as there're many places where unsafePerformIO is used (e.g. in
the parser)...

Files:

• src/Pugs/Internals.hs (modified) (2 diffs)

src/Pugs/Internals.hs

@@ -70 +70 @@
     possiblyFixOperatorName,
     maybeM,
+    safeMode,
 ) where
 
@@ -274 +275 @@
     dropBrackets ('<':(rest@(_:_)))       = if (last rest) == '>' then init rest else '<':rest
     dropBrackets x                        = x
+
+{-|
+Returns @True@ if the environment variable @PUGS_SAFEMODE@ is set to @true@. In
+safemode, most IO prims are forbidden.
+-}
+safeMode :: Bool
+safeMode = case (unsafePerformIO $ getEnv "PUGS_SAFEMODE") of
+    Just "true" -> True
+    _           -> False