diff: Better error reporting for illegally bound vars

[Fergus Henderson]

On 27-Jan-1998, Andrew Bromage <bromage at cs.mu.OZ.AU> wrote:
> Better error reporting for variables bound in illegal places.

That change looks fine.

> While you're at it, should the locked_vars type be made abstract?

No, I think it is fine as a concrete type.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.