implicit self

[Mario Wolczko]

It seems to me that in this example

   (| x = 4.
      silly = (| p* = (| x = 2 |). |
                 x )
   |) silly

we should get an ambiguous message error, but unfortunately we do
not...the VM returns 4.

   Date: Wed, 13 Sep 1995 10:41:00 +0800
   From: Randall.Smith at Eng (Randy Smith)
   Cc: Randall.Smith at Eng
   X-Sun-Charset: US-ASCII

   ...

   (We used to have local methods, does anyone recall how they evaluated?
   I hope I am not making a liar out of us. Note, since we allow 
   "local parents" we can try in today's system

    (| x    = 4.
      silly = (| p* = (| y = (x) |). 
		  x = 2 | 
	      y ).
    |) silly


   which does in fact return 4.)