Changeset 11216 for trunk/CASL/AS_Basic_CASL.der.hs

Timestamp:

06.01.2009 16:49:44 (11 months ago)

Author:

maeder

Message:

extended symbol kinds i.e. for CspCASL

Files:

• trunk/CASL/AS_Basic_CASL.der.hs (modified) (1 diff)

trunk/CASL/AS_Basic_CASL.der.hs

@@ -323 +323 @@
 
 data SYMB_KIND = Implicit | Sorts_kind
-               | Ops_kind | Preds_kind
+               | Ops_kind | Preds_kind | OtherKinds String
                  deriving (Show, Eq, Ord)