From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Sun Jul 25 18:44:57 EDT 2010 |
|
Todd, Danny has defined updaters for his world. However, the reason we didn't make these public is because we ultimately need to deal with lvalues, which (a) are arguably not a good idea, and (b) we certainly can't do as a macro anyway. Make sure you think about that. Shriram
Posted on the users mailing list. |
|