Maude-help mailing list

[Roberto Vigo <rvig AT imm.dtu.dk>]

Dear Steven,

thank you for the swift reply. As you pointed out the clash was caused 
by some other code of mine. Many thanks also for the instructions on how 
to use the mailing list.

Best regards,
Roberto

On 08/07/2012 07:00 PM, 
maude-help-request AT cs.uiuc.edu
 wrote:
> Send Maude-help mailing list submissions to
>         
> maude-help AT cs.uiuc.edu
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
> or, via email, send a message with subject or body 'help' to
>         
> maude-help-request AT cs.uiuc.edu
>
> You can reach the person managing the list at
>         
> maude-help-owner AT cs.uiuc.edu
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Maude-help digest..."
>
>
> Today's Topics:
>
>     1. Re: containers instantiation (Steven Eker)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Mon, 06 Aug 2012 12:31:24 -0700
> From: Steven Eker 
> <eker AT csl.sri.com>
> Subject: Re: [Maude-help] containers instantiation
> To: 
> maude-help AT cs.uiuc.edu
> Message-ID: 
> <50201B8C.1070804 AT csl.sri.com>
> Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>
> Hi Roberto,
>
> Since SET does not contain an operator called __, your problem is
> probably unrelated to your instantiation of SET. Mostly likely your
> problem is an instantiation of LIST whose __ operator is clashing with
> some other __ operator.
>
> Whenever you  report a problem, it is a good idea to attach a complete
> .maude file that can be read in to reproduce the problem.
>
> Steven
>
> On 8/6/12 3:58 AM, Roberto Vigo wrote:
> > Dear all,
> >
> > I am leading out with Maude, and have some difficulties with containers.
> > I was able to instantiate SET{X :: TRIV} to Set{MyType} in this way:
> >
> > view MyType from TRIV to MYTYPE is
> >         sort Elt to MyType .
> > endv
> >
> > fmod MYTYPE-SET is
> >         inc MYTYPE .
> >         protecting SET{MyType} * (sort NeSet{MyType} to NeMyTypeSet,
> >         sort Set{MyType} to MyTypeSet) .
> > endfm
> >
> > as found in the Maude manual. However, if I then try to make an
> > instantiation of a List in the same way (say List{MyType2}) I get the error:
> >
> > Warning:<standard input>, line 476 (fmod MYMODULE): declaration for __
> >        has different attributes from declaration on "prelude.maude", line
> > 997 (fmod LIST).
> >
> > How to use both List and Set? The manual also mention the following
> > approach to container instantiation:
> >
> > fmod INT-SET is
> >         pr SET{Int} .
> > endfm
> >
> > but then how to refer to the type SET{Int}?
> >
> > Thanks in advance for paying attention.
> >
> > Best regards,
> > Roberto
> > _______________________________________________
> > Maude-help mailing list
> > Maude-help AT cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>
>
>
> ------------------------------
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>
>
> End of Maude-help Digest, Vol 30, Issue 2
> *****************************************