Changeset 11201 for trunk/CspCASL/StatAnaCSP.hs

Timestamp:

03.01.2009 15:43:50 (11 months ago)

Author:

maeder

Message:

renamed funs in CASL to ops

Files:

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

trunk/CspCASL/StatAnaCSP.hs

@@ -22 +22 @@
 import qualified Data.Set as S
 
-import CASL.AS_Basic_CASL (FORMULA(..), FunKind(..), SORT, TERM(..), VAR,
+import CASL.AS_Basic_CASL (FORMULA(..), OpKind(..), SORT, TERM(..), VAR,
                            VAR_DECL(..))
 import CASL.MixfixParser (emptyMix, Mix(..), makeRules, mkIdSets,
@@ -474 +474 @@
 -- signature, and return a set of corresponding communication types
 -- for those operations.
-getUnaryOpsById :: Id -> FunKind -> State CspCASLSign (S.Set CommType)
+getUnaryOpsById :: Id -> OpKind -> State CspCASLSign (S.Set CommType)
 getUnaryOpsById ri kind = do
     sig <- get