[m-dev.] Higher-order terms and Prolog support

[Peter Ross]

On 16-Mar-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> On Tue, Mar 16, 1999 at 03:27:03PM +1100, Peter Ross wrote:
> > While we are removing Prolog support, should we also not remove
> > the lamda notation for higher order terms?
> 
> I think that's rather a different issue, and in this case I don't see
> a good argument for removing it without plenty of forewarning.  Maybe
> 0.9 should declare that that syntax will be phased out.  Ideally, then,
> in the next release (1.0?) the compiler would print warnings for use
> of that feature and then finally 1.1 would remove it altogether.
> 
I agree with you, except for implicit assumption that 1.0 is only two
releases away :).