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

Timestamp:

03.01.2009 15:43:50 (15 months ago)

Author:

maeder

Message:

renamed funs in CASL to ops

Files:

• trunk/CASL/AS_Basic_CASL.der.hs (modified) (4 diffs)

trunk/CASL/AS_Basic_CASL.der.hs

@@ -73 +73 @@
                deriving Show
 
-data FunKind = Total | Partial deriving (Show, Eq, Ord)
-
-data OP_TYPE = Op_type FunKind [SORT] SORT Range
+data OpKind = Total | Partial deriving (Show, Eq, Ord)
+
+data OP_TYPE = Op_type OpKind [SORT] SORT Range
                -- pos: "*"s, "->" ; if null [SORT] then Range = [] or pos: "?"
                deriving (Show, Eq, Ord)
@@ -85 +85 @@
 res_OP_TYPE (Op_type _ _ res _) = res
 
-data OP_HEAD = Op_head FunKind [ARG_DECL] SORT Range
+data OP_HEAD = Op_head OpKind [ARG_DECL] SORT Range
                -- pos: "(", semicolons, ")", colon
                deriving Show
@@ -115 +115 @@
                      deriving Show
 
-data ALTERNATIVE = Alt_construct FunKind OP_NAME [COMPONENTS] Range
+data ALTERNATIVE = Alt_construct OpKind OP_NAME [COMPONENTS] Range
                    -- pos: "(", semi colons, ")" optional "?"
                  | Subsorts [SORT] Range
@@ -121 +121 @@
                    deriving Show
 
-data COMPONENTS = Cons_select FunKind [OP_NAME] SORT Range
+data COMPONENTS = Cons_select OpKind [OP_NAME] SORT Range
                   -- pos: commas, colon or ":?"
                 | Sort SORT