| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Thu Jul 10 11:26:03 EDT 2003 |
|
At Thu, 10 Jul 2003 03:42:50 -0400 (EDT), Doug Orleans wrote: > It seems wrong that generated symbols are leaking out Yes, it's wrong. I'll fix it. Thanks, Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}