Changeset 8207 for src/Pugs/Eval.hs

Timestamp:

12/13/05 11:24:11 (3 years ago)

Author:

gaal

Message:

* minor refactoring: type PadMutator? = (Pad -> Pad)

Files:

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

src/Pugs/Eval.hs

@@ -51 +51 @@
 emptyEnv :: (MonadIO m, MonadSTM m) 
          => String             -- ^ Name associated with the environment
-         -> [STM (Pad -> Pad)] -- ^ List of 'Pad'-mutating transactions used
+         -> [STM PadMutator]   -- ^ List of 'Pad'-mutating transactions used
                                --     to declare an initial set of global
                                --     variables
@@ -158 +158 @@
 Used by 'reduceSym'.
 -}
-addGlobalSym :: (Pad -> Pad) -- ^ 'Pad'-transformer that will insert the new
-                             --     symbol
+addGlobalSym :: PadMutator -- ^ 'Pad'-transformer that will insert the new
+                           --     symbol
              -> Eval ()
 addGlobalSym newSym = do
@@ -986 +986 @@
             { envCaller = Just env
             , envDepth = envDepth env + 1 }
-    doBind :: [Pad -> Pad] -> [(Param, Exp)] -> Eval ([Pad -> Pad], [ApplyArg])
+    doBind :: [PadMutator] -> [(Param, Exp)] -> Eval ([PadMutator], [ApplyArg])
     doBind syms [] = return (syms, [])
     doBind syms ((prm, exp):rest) = do