<br><br><div class="gmail_quote">On Tue, May 4, 2010 at 5:30 PM, Shriram Krishnamurthi <span dir="ltr">&lt;<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div> I do not see how to do this without statically knowing types.</div></blockquote></div><br>How about by dynamically knowing the type?<br><br><br>