>> How does the compiler "know" the datastructure is purely functional?
>It doesn't. Why would it have to?

Right, I was being an idiot.  If it's got a ref in there that's ever updated, it just isn't functional.  I was somehow thinking...well, I don't know what I was thinking.  :)

Chris