Changeset 2565

Timestamp:

05/01/05 12:31:29 (4 years ago)

Author:

theorbtwo

svk:copy_cache_prev:

4052

Message:

AST.hs: 100% signature coverage (again).

Files:

• src/Pugs/AST.hs (modified) (2 diffs)

src/Pugs/AST.hs

@@ -116 +116 @@
     fmapVal f = castV . f . vCast
 
+
+castFailM :: (Show a, Typeable b) => a -> Eval b
 castFailM v = err
     where
@@ -730 +732 @@
             return $ "unsafePerformSTM (newTVar " ++ vCast dump ++ ")"
 
+mkPad :: [(Var, [(TVar Bool, TVar VRef)])] -> Pad
 mkPad = MkPad . Map.fromList
+
+lookupPad :: Var -> Pad -> Maybe [TVar VRef]
 lookupPad key (MkPad map) = case Map.lookup key map of
     Just xs -> Just [tvar | (_, tvar) <- xs]
     Nothing -> Nothing
 
+padToList :: Pad -> [(Var, [(TVar Bool, TVar VRef)])]
 padToList (MkPad map) = Map.assocs map