Maude-help mailing list

["L.G. Meredith" <lgreg.meredith AT gmail.com>]

All,

Redirecting my query to the correct venue. See below.

Best wishes,

--greg

---------- Forwarded message ----------
From: Azadeh Farzan
 <afarzan AT cs.uiuc.edu>
Date: Aug 30, 2006 11:12 AM
Subject: Fwd: Maude-users post from lgreg.meredith AT gmail.com requires approval
To: lgreg.meredith AT gmail.com

I cannot keep accepting your message to this list. Everyone on the
list receives a copy of the message, and they may not all be
interested in this specific problem. Please continue your discussion
with Steven on a private note, or submit the same request to the
maude-help list for which it is better suited.

Thank you,

- Azadeh

Begin forwarded message:

> From: maude-users-owner AT peepal.cs.uiuc.edu
> Date: August 30, 2006 1:06:46 PM CDT
> To: 
maude-users-owner AT peepal.cs.uiuc.edu
> Subject: Maude-users post from lgreg.meredith AT gmail.com requires
> approval
>
> As list administrator, your authorization is requested for the
> following mailing list posting:
>
>     List:    Maude-users AT maude.cs.uiuc.edu
>     From:    lgreg.meredith AT gmail.com
>     Subject: Another neophyte question
>     Reason:  Post to moderated list
>
> At your convenience, visit:
>
>     
http://maude.cs.uiuc.edu/cgi-bin/mailman/admindb/maude-users
>
> to approve or deny the request.
>
> From: "L.G. Meredith" <lgreg.meredith AT gmail.com
>
> Date: August 30, 2006 1:06:37 PM CDT
> To: "Maude Users" <maude-users AT maude.cs.uiuc.edu>
> Subject: Another neophyte question
>
>
> All,
>
> i have the following minimal example where i get complaints
> regarding operator collisions i don't expect. i have a typing
> situation (derived from a simplification of the grammar given in
> Milner's polyadic \pi-calculus tutorial) of the form D < B < A, D <
> C < A. i would like to have lists for each type. What's the best
> approach?
>
> Best wishes,
>
> --greg
>
> fmod ONE is
>      sort One .
> endfm
>
> fmod TWO is
>      sort Two .
> endfm
>
> fmod THREE is
>      sort Three .
> endfm
>
> fmod FOUR is
>      sort Four .
> endfm
>
> view One from TRIV to ONE is
>      sort Elt to One .
> endv
>
> view Two from TRIV to TWO is
>      sort Elt to Two .
> endv
>
> view Three from TRIV to THREE is
>      sort Elt to Three .
> endv
>
> view Four from TRIV to FOUR is
>      sort Elt to Four .
> endv
>
> fmod GATHER is
>      pr ((LIST{One} * (op nil to nlo1))
>          + (LIST{Two} * (op nil to nlo2))
>      + (LIST{Three} * (op nil to nlo3))
>      + (LIST{Four} * (op nil to nlo4))) .
> endfm
>
> *** uncomment to get complaints regarding collisions of operations
> *** fmod GATHERINGGLOOM is
> ***      pr ((LIST{One} * (op nil to nlo1))
> ***          + (LIST{Two} * (op nil to nlo2))
> ***      + (LIST{Three} * (op nil to nlo3))
> ***      + (LIST{Four} * (op nil to nlo4))) .
>
> ***      subsorts Four < Two < One .
> ***      subsorts Four < Three < One .
>
> *** endfm
>
> --
> L.G. Meredith
> Partner
> Biosimilarity LLC
> 505 N 72nd St
> Seattle, WA 98103
>
> +1 206.650.3740
>
> From: maude-users-request AT maude.cs.uiuc.edu
> Subject: confirm d6b721b0aad6d1790ff852b700c89d34275491bf
>
>
> If you reply to this message, keeping the Subject: header intact,
> Mailman will discard the held message.  Do this if the message is
> spam.  If you reply to this message and include an Approved: header
> with the list password in it, the message will be approved for posting
> to the list.  The Approved: header can also appear in the first line
> of the body of the reply.
>



-- 
L.G. Meredith
Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740