Changeset 16439

Timestamp:

05/18/07 22:39:20 (18 months ago)

Author:

audreyt

Message:

* Variables inside an eval"" is now correctly checked

against outer lexical scope.

Files:

• src/Pugs/Parser/Program.hs (modified) (1 diff)

src/Pugs/Parser/Program.hs

@@ -110 +110 @@
     , s_closureTraits   = [id]
     , s_freeVars        = Set.empty
-    , s_knownVars       = Map.empty
+    , s_knownVars       = Map.map (const topMPad) (padEntries (envLexical env))
     , s_outerVars       = Map.empty
     , s_protoPad        = emptyPad
     }
+
+-- ^ A fake 'top' MPad for s_knownVars above to refer to things outside the eval scope.
+{-# NOINLINE topMPad #-}
+topMPad :: MPad
+topMPad = unsafePerformIO $ do
+    tvar <- newTVarIO emptyPad
+    return $ MkMPad (addressOf tvar) tvar
 
 -- XXX - Pending clarification about those 3 -- are they routine-implicit or block-implicit?