Changeset 11216 for trunk/CspCASL/StatAnaCSP.hs

Timestamp:

06.01.2009 16:49:44 (11 months ago)

Author:

maeder

Message:

extended symbol kinds i.e. for CspCASL

Files:

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

trunk/CspCASL/StatAnaCSP.hs

@@ -30 +30 @@
 import CASL.Overload (minExpFORMULA, oneExpTerm)
 import CASL.Sign
+import CASL.Morphism (RawSymbol)
 import CASL.StaticAna (allOpIds, allPredIds)
 import Common.AS_Annotation
@@ -49 +50 @@
 
 basicAnalysisCspCASL :: (CspBasicSpec, CspCASLSign, GlobalAnnos)
-        -> Result (CspBasicSpec, ExtSign CspCASLSign (),
+        -> Result (CspBasicSpec, ExtSign CspCASLSign Symbol,
                    [Named CspCASLSen])
 basicAnalysisCspCASL (cc, sigma, ga) =