Changeset 7035 for src/Pugs/Parser.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/Parser.hs (modified) (1 diff)

src/Pugs/Parser.hs

@@ -898 +898 @@
         "BEGIN" -> do
             -- We've to exit if the user has written code like BEGIN { exit }.
-            possiblyExit =<< unsafeEvalExp (checkForIOLeak fun)
+            val <- possiblyExit =<< unsafeEvalExp (checkForIOLeak fun)
+            -- And install any pragmas they've requested.
+            env <- getRuleEnv
+            let idat = unsafePerformIO $ liftSTM $ readTVar $ envInitDat env
+            install $ initPragmas idat
+            return val
         "CHECK" -> vcode2checkBlock code
         "INIT"  -> vcode2initBlock code
         "FIRST" -> vcode2firstBlock code
         _       -> fail ""
+    where
+        install [] = return ()
+        install (x:xs) = do
+            env' <- getRuleEnv
+            let env'' = envCaller env'  -- not sure about this.
+            case env'' of
+                Just target -> do
+                    putRuleEnv target { envPragmas =
+                        PrPrags{ pragma  = x
+                               , pragmas = envPragmas target} }
+                    install xs
+                _ -> fail "no caller env to install pragma in"
 
 {-| Wraps a call to @&Pugs::Internals::check_for_io_leak@ around the input