maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Steven Eker <eker AT csl.sri.com>
- To: Ajay S Tirumala <tirumala AT uiuc.edu>, maude-help AT peepal.cs.uiuc.edu
- Cc:
- Subject: Re: [Maude-help] Some help needed starting off...
- Date: Fri, 6 Aug 2004 18:14:59 -0700
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
- Organization: SRI International
Hi,
On Thursday 05 August 2004 01:33 pm, Ajay S Tirumala wrote:
> Maude> parse a + c = b .
> [Stmt]: (a + c) = b
>
> Why is (a + c) being converted to a Name type?
Parsing is done at the kind level rather than the sort level - a the [Stmt]
part means that your term parses to a kind rather than one of your sorts. The
reason that parsing is done in this way is because one often want to write
expressions that are not well sorted at parse time but are expected to
evaluate to a well sorted term at run time (think 1 / R:Rat).
Steven Eker
- [Maude-help] Some help needed starting off..., Ajay S Tirumala, 08/05/2004
- Re: [Maude-help] Some help needed starting off..., Steven Eker, 08/06/2004
Archive powered by MHonArc 2.6.16.