Changeset 10827 for trunk/CspCASL/SignCSP.hs

Timestamp:

14.10.2008 18:52:21 (13 months ago)

Author:

maeder

Message:

removed redundant morphism kind and reverted sort-map composition

Files:

• trunk/CspCASL/SignCSP.hs (modified) (2 diffs)

trunk/CspCASL/SignCSP.hs

@@ -21 +21 @@
 import CASL.AS_Basic_CASL (SORT)
 import CASL.Sign (emptySign, Sign, extendedInfo, sortRel)
-import CASL.Morphism (Morphism, composeIdMaps)
+import CASL.Morphism (Morphism)
 
 import qualified Common.Doc as Doc
@@ -138 +138 @@
     } deriving (Eq, Show)
 
+composeIdMaps :: Map.Map Id Id -> Map.Map Id Id -> Map.Map Id Id
+composeIdMaps m1 m2 = Map.foldWithKey (\ i j -> case Map.lookup j m2 of
+  Nothing -> error "SignCsp.composeIdMaps"
+  Just k -> Map.insert i k) Map.empty m1
+
 composeCspAddMorphism :: CspAddMorphism -> CspAddMorphism
                       -> Result CspAddMorphism