Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

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