| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Tue Jul 15 15:09:18 EDT 2003 |
|
At Tue, 15 Jul 2003 14:42:34 -0400, David Van Horn wrote: > However, structure subtypes still don't seem to match. Right. Unfortunately, we're stuck at this point. The problem is that unit signatures don't include information about subtypes, so `match' has no way to know about subtypes. This problem will be solved in a new unit system, which I've been promising for some time, but which isn't close to ready. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}