| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Tue Sep 14 17:19:58 EDT 2004 |
|
At Tue, 14 Sep 2004 17:14:47 -0400 (EDT), Andre van Tonder wrote: > Is the following a known bug, or is the code incorrect? Neither< I think. This looks like a not-yet-known bug, and I'll fix it. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}