Re: Various language extensions (vote early, vote often!)

[haskell-request@cs.glasgow.ac.uk]

Date: 29 May 91 22:49
From: haskell-request@cs.glasgow.ac.uk
Sender: Joe Fasel <jhf@c3serve.c3.lanl.gov>
To: haskell <haskell%cs.yale.edu@yalevm.ycc.yale.edu>
Subject: Re: Various language extensions (vote early, vote often!)

Original-Via: uk.ac.nsf; Wed, 29 May 91 22:32:03 BST
Original-Sender: jhf <jhf%gov.lanl.c3.c3serve%edu.yale.ycc.yalevm%edu.yale.cs@yale.edu>

| 5. Sections: I'd like to see a concrete syntax here.  In principle,
| though, it seems worthwhile to add them.

Syntax:

aexp	->  @(@ exp^(i+1) varop^(a,i) @)@	& (0 <= i <= 9, a\in\{l,r,n\})
	|   @(@ varop^(a,i) exp^(i+1) @)@	& (0 <= i <= 9, a\in\{l,r,n\})
	|   @(@ lexp^i varop^(l,i) @)@		& (0 <= i <= 9)
	|   @(@ varop^(r,i) rexp^i @)@		& (0 <= i <= 9)

--Joe