Maude-help mailing list

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

The problem is that when you put Ints and Bools in the same kind with your 
subsort declarations you are bashing together two different xor operations 
each with their own semantics. The thing to do is to rename one of them - 
probably the Int one, to something else say, eor, in the importation.

BTW is there any reason that you need to use FullMaude rather than 
Core Maude for your specification?

Steven

On Thursday 24 May 2007 12:42, GORIAC Eugen Ioan wrote:
>   Greetings,
>
>   My friend and I are currently working on the denotational semantics of a
>   programming language, and we're using Maude.
>
>   Using both Bool and Int, as subsorts of Expression (like in the next
> example) doesn't seem to be such a good idea:
>
>   (fmod EXPRESSION is
>
>    protecting INT .
>    protecting BOOL .
>
>    sorts    ExprInt ExprBool Expression .
>
>    subsorts Int  < ExprInt  < Expression .
>    subsorts Bool < ExprBool < Expression .
>
>   endfm)
>
>   (fth SEMANTICS is
>
>    including EXPRESSION .
>
>    sort  Memory .
>    sorts Mem2Int .
>
>    vars M : Memory .
>    var  I : Int .
>
>    op sem : ExprInt -> Mem2Int .
>    op app : Mem2Int  Memory -> Int .
>
>    eq app(sem(I), M) = I .
>
>   endfth)
>
>   the warning is:
>
>   Warning: <metalevel>: declaration for _xor_ has different attributes from
>     declaration on <metalevel>.
>
>   For now, we've implemented our own MY-BOOL module, but is there a way to
> use Maude's Int and Bool, given the thing we want to do ?
>
>   Thank you very much !
>
>   Best regards,
>
>   Eugen-Ioan Goriac
>
> PS: Thank you, Mr. Joe Hendrix, for the support regarding the subscription
> to the mailing list !
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help