Changeset 7035 for src/Pugs/Eval.hs

Timestamp:

09/17/05 22:55:58 (3 years ago)

Author:

gaal

Message:

Lexical pragmas (WIP). See Pugs.AST.Prag. Dominus++.
This doesn't work yet, my pragmas got lost somewhere between the parser
and the evaluator.
TODO after it's fixed:
- throw away the cons list in favor of a primitive [] - it's enough
- figure out how to install other kinds of pragma data, not just Int

And, the fun part:
- use fatal
- use sort 'mergesort'
- no strict :-)
- other ideas from http://perl.plover.com/TPF/Pragmas/PROPOSAL

Files:

• src/Pugs/Eval.hs (modified) (4 diffs)

src/Pugs/Eval.hs

@@ -61 +61 @@
     syms <- initSyms
     glob <- newTVar (combine (pad ++ syms) $ mkPad [])
+    init <- newTVar $ MkInitDat { initPragmas=[] }
     return $ MkEnv
         { envContext = CxtVoid
@@ -77 +78 @@
         , envDebug   = Just ref -- Set to "Nothing" to disable debugging
         , envPos     = MkPos name 1 1 1 1
+        , envPragmas = PrNil
+        , envInitDat = init
         }
 
@@ -229 +232 @@
 reduce (Stmts this rest) = reduceStmts this rest
 
+reduce (Prag prag exp) = reducePrag prag exp
+
 reduce (Pos pos exp) = reducePos pos exp
 
@@ -283 +288 @@
             return . VControl $ ControlEnv env
         _ -> reduce rest
+
+reducePrag :: Pragmas -> Exp -> Eval Val
+reducePrag prag exp = do
+    local (\e -> e{ envPragmas = prag }) $ do
+        evalExp exp
 
 {-|