Changeset 12724

Timestamp:

26.10.2009 15:22:37 (4 weeks ago)

Author:

adrian

Message:

Some errors fixed

Location:

trunk

Files:

• CASL/Freeness.hs (modified) (1 diff)
• Maude/test.maude (modified) (3 diffs)

trunk/CASL/Freeness.hs

@@ -498 +498 @@
 -- | given the signature in M the function computes the morphism from M' to K
 create_iota_mor :: Set.Set SORT -> CASLSign -> CASLMor
-create_iota_mor ss sg_m = Morphism sg_m usg' sm om pm ()
+create_iota_mor ss sg_m = Morphism iota_sg usg' sm om pm ()
       where iota_sg = totalSignCopy sg_m
             usg = addSig const sg_m iota_sg

trunk/Maude/test.maude

@@ -1 @@
-fth ALPHA-ASSOC is
+fth FREENESS is
+ pr BOOL .
+ 
+ sort Foo .
+ 
+ eq true and true = true .
+endfth
+
+view Freeness from FREENESS to BOOL is
+ sort Foo to Bool .
+endv
+
+fth ALPHA_ASSOC is
  sort Foo .
  op f : Foo Foo -> Foo [ctor assoc] .
 endfth
 
-fmod OTHER-ALPHA-ASSOC is
+fmod OTHER_ALPHA_ASSOC is
  sort Elt .
  op g : Elt Elt -> Elt [ctor] .
@@ -13 +25 @@
 endfm
 
-view VALPHA from ALPHA-ASSOC to OTHER-ALPHA-ASSOC is
+view VALPHA from ALPHA_ASSOC to OTHER_ALPHA_ASSOC is
  sort Foo to Elt .
  op f to g .
 endv
 
-fmod MY-LIST is
+fmod MY_LIST is
  sorts List Elt .
  subsort Elt < List .
@@ -33 +45 @@
 endfm
 
-fmod MY-LIST-OPS is
- pr MY-LIST .
+fmod MY_LIST_OPS is
+ pr MY_LIST .
 endfm