Maude-help mailing list

[Scott <scottxyz AT usa.net>]

Hello All --

I am very pleased that Maude 2.2 has been released. I have been converting my
older specifications from 2.1.1 and testing them under FreeBSD 5.3 as well as
under WinXP-Pro (using Maude for Windows from http://moment.dsic.upv.es). 

Today I encountered a problem in Full Maude 2.2 using a parameterized view
involving 3 parameters. I have replicated this problem using Full Maude 2.2
under both FreeBSD and Windows. 

Below are two simplified examples illustrating the problem: 

-- specifying a Set of 2-Tuple of Nat (this works fine), and 

-- specifying a Set of 3-Tuple of Nat (this does not work).

-----

The following code, which has a parameterized view involving just _2_
parameters, works fine:

(view Tuple2{X :: TRIV , Y :: TRIV} from TRIV to TUPLE[2]{X,Y} is
  sort Elt to Tuple{X,Y} .
endv)

(fmod SET-TUPLE2{X :: TRIV , Y :: TRIV}
  is
  pr SET{Tuple2{X,Y}} .
endfm)

(fmod SET-TUPLE2-NAT-NAT is
  pr SET-TUPLE2{Nat,Nat} .
endfm)

(red (1,2) , (2,3) , (3,4) , (1,2) .)

***(
result NeSet`{Tuple2`{Nat`,Nat`}`} :
  (1,2), (2,3), (3,4)
)***

-----

However, the following code, which has a parameterized view involving _3_
parameters, does not work:

(view Tuple3{X :: TRIV , Y :: TRIV , Z :: TRIV} from TRIV to TUPLE[3]{X,Y,Z}
is
  sort Elt to Tuple{X,Y,Z} .
endv)

(fmod SET-TUPLE3{X :: TRIV , Y :: TRIV , Z :: TRIV}
  is
  pr SET{Tuple3{X,Y,Z}} .
endfm)

(fmod SET-TUPLE3-NNN is
  pr SET-TUPLE3{Nat,Nat,Nat} .
endfm)

(red (1,2,3) , (2,3,4) , (3,4,5) , (1,2,3) .)

-----

In the second case above, with a view involving 3 parameters, the module
SET-TUPLE3-NNN does not appear to compile -- it "silently" fails: no
announcement "Introduced module SET-TUPLE-NNN" is displayed, and subsequent
interactive commands don't work.

Thank you for any help!

-- Scott Alexander