[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Pattern Binding

To: brian@comp.vuw.ac.nz, norman@a.cs.okstate.edu
Subject: Re: Pattern Binding
From: Kevin Hammond <kh@dcs.glasgow.ac.uk>
Date: Thu, 28 May 1992 18:19:56 +0200
Cc: haskell@dcs.glasgow.ac.uk
Sender: haskell-request@dcs.glasgow.ac.uk
X400-content-type: P2-1984 (2)
X400-mts-identifier: [/PRMD=UK.AC/ADMD= /C=GB/;<17881.9205281619@dcs.glasgow.ac]
X400-originator: haskell-request@dcs.glasgow.ac.uk
X400-received: by mta chalmers.se in /PRMD=chalmers/ADMD=sunet/C=se/; Relayed; Thu, 28 May 1992 18:32:41 +0200
X400-received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed; Thu, 28 May 1992 18:30:37 +0200
X400-received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed; Thu, 28 May 1992 19:14:00 +0200
X400-received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed; Thu, 28 May 1992 18:18:12 +0200
X400-received: by /PRMD=UK.AC/ADMD= /C=GB/; Relayed; Thu, 28 May 1992 18:19:56 +0200
X400-recipients: non-disclosure:;

Date: Thu, 28 May 1992 18:19:56 +0200
From: Kevin Hammond <kh@dcs.glasgow.ac.uk>
Sender: haskell-request@dcs.glasgow.ac.uk
To: brian@comp.vuw.ac.nz, norman@a.cs.okstate.edu
Cc: haskell@dcs.glasgow.ac.uk
Subject: Re: Pattern Binding

> An alternative to allow my second example to match on the third
> clause might be:
> [...]
> where (p',gi') = (p,gi) with variables renamed consistently.

Actually, it isn't necessary to rename in this translation (the
condition was left over from a previous version).  Apologies if this
confused anyone.

	p | g1 = e1
	    ...
	    gn = en

==	p = let t1 = case e1 of
                        x1@p | g1 -> x1
	                     | otherwise -> t2
	                _ -> t2
		...
		tn = case en of xn@p | gn -> xn
            in t1

Kevin

Prev by Date: Re: Pattern Binding
Next by Date: Re: Pattern Binding
Previous by thread: Re: Pattern Binding
Next by thread: Re: Pattern Binding
Index(es):
- Date
- Thread