Changeset 3724 for src/Pugs/AST/Internals.hs

Timestamp:

05/23/05 13:09:12 (4 years ago)

Author:

scook0

svk:copy_cache_prev:

5313

Message:

* Some non-toplevel function type signatures (for readability)
* Minor tweaks to Haddocks

Files:

• src/Pugs/AST/Internals.hs (modified) (3 diffs)

src/Pugs/AST/Internals.hs

@@ -287 +287 @@
         doFrom $ concat list
         where
+        doFrom :: [Val] -> Eval [VPair]
         doFrom [] = return []
         doFrom (k:v:list) = do
@@ -574 +575 @@
     , juncDup  :: !(Set Val)
     -- ^ Only used for @one()@ junctions. Contains those values
-    -- that appear more than once (the actual count is
-    -- irrelevant), since matching any of these would
-    -- automatically violate the 'match /only/ one value'
-    -- junctive semantics.
+    --     that appear more than once (the actual count is
+    --     irrelevant), since matching any of these would
+    --     automatically violate the 'match /only/ one value'
+    --     junctive semantics.
     , juncSet  :: !(Set Val)
     -- ^ Set of values that make up the junction. In @one()@
-    -- junctions, contains the set of values that appear exactly
-    -- /once/.
+    --     junctions, contains the set of values that appear exactly
+    --     /once/.
     } deriving (Eq, Ord)
 
@@ -1088 +1089 @@
 --     askGlobal :: m Pad
 
+{-|
+Retrieve the global 'Pad' from the current evaluation environment.
+
+'Env' stores the global 'Pad' in an STM variable, so we have to @asks@
+'Eval'\'s @ReaderT@ for the variable, then extract the pad itself from the
+STM var.
+-}
 askGlobal :: Eval Pad
 askGlobal = do