Changeset 5928 for src/Pugs/Junc.hs

Timestamp:

07/31/05 08:24:37 (3 years ago)

Author:

autrijus

svk:copy_cache_prev:

8084

Message:

* remove dead code juncTypeIs from Junc.hs.

Files:

• src/Pugs/Junc.hs (modified) (1 diff)

src/Pugs/Junc.hs

@@ -66 +66 @@
     sameType (VJunc (MkJunc t' _ _))  = t == t'
     sameType _                      = False
-
-{-|
-Check if the specified value is a 'Pugs.Internals.VJunc' of one of the specified
-junctive types. If it is, return it as a 'Pugs.Internals.VJunc'.
--}
-juncTypeIs :: Val -- ^ Value to test
-           -> [JuncType] -- ^ Types to check against
-           -> Maybe VJunc -- ^ Returns 'Nothing' if the test fails
-juncTypeIs v ts
-    | (VJunc j) <- v
-    , juncType j `elem` ts
-    = Just j
-    | otherwise
-    = Nothing
 
 {-|