From: Arjun Guha (GUHAARJU at grinnell.edu) Date: Thu Jun 2 00:16:38 EDT 2005 |
|
Hmm... good point. That would work. However, is there any reason to not meld a structure definition with it's contract? It seems to have a certain syntactic appeal, like define-type from PLAI and EoPL. -Arjun
Posted on the users mailing list. |
|