How about it, indeed? Editors are static. If you approximate from below, you will only sow confusion. ("I could have sworn the foo-bar procedure applies to x, but the environment doesn't show it to me!")
Shriram On Wed, May 5, 2010 at 8:50 PM, Guillaume Marceau <gmarc...@gmail.com> wrote: > > > On Tue, May 4, 2010 at 5:30 PM, Shriram Krishnamurthi <s...@cs.brown.edu> > wrote: >> >> I do not see how to do this without statically knowing types. > > How about by dynamically knowing the type? > > > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev