Maude-help mailing list

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

Your first view does not map the infix < operator; what you probably intended 
was:

view Nat> from STRICT-TOTAL-ORDER to NAT is
   sort Elt to Nat .
   op _<_ to _>_ .
endv

Steven

On Friday 19 March 2010, Marc Boyer wrote:
> Dear all,
> 
> I was tring to sort a list of Nat in reverse order, but I can't
> make it works...
> 
> Here is a minimal example:
> 
> **** Defining a view were the order is the reverse of
> view Nat> from STRICT-TOTAL-ORDER to NAT is
>    sort Elt to Nat .
>    op < to > .
> endv
> 
> **** Testing
> fmod REV-SORT-NAT is
>     protecting SORTABLE-LIST{Nat>} .
>     op l> : -> List{Nat>} .
>     eq l> = 1 3 .
> endfm
> 
> red sort( l> ) .
> 
> *** The output is
> result NeList{Nat>}: 1 3
> 
> But if I replace the view definition by
> 
> view Nat> from STRICT-TOTAL-ORDER to NAT is
>    sort Elt to Nat .
>    op X:Elt < Y:Elt to term ( X:Nat > Y:Nat ).
> endv
> 
> Then, it works...
> 
> What's appening ?
> 
> Regards,
>    Marc Boyer
>