possible garbage collector problem...

[Mark S. Miller <mark>]

Date: Sun, 1 Oct 89 22:54:08 PDT
   From: tribble (Eric Dean Tribble)

      What if both "g" and "h" were declared
      as returning Strong pointers (not references to strong pointers)?  My
      reading of the language definition is that the foo and bar temporaries
      generated as above would then be Strong pointers, and all would be
      well.  I'll try this out soon and let you know.

   This was the solution I had in mind.  I think it works, but it implies
   that most return values are typed as strong pointers.  

Preliminary results are that it doesn't work.  I suspect a compiler
bug.  I'm tracking this down now.  Does Peter's consulting rate
include his dream time?

      What happens if
   we cast a wimpy pointer into a strong pointer?

I'll let you know after I figure out the base case.