| From: Robby Findler (robby at cs.uchicago.edu) Date: Sat Apr 10 23:31:41 EDT 2004 |
|
One other point I forgot to mention: higher-order contracts always get their names from their structure. Flat contracts get their names from a variety of places (flat-named-contract, if that' scalled, or from the inferred name of the predicate if a predicate is supplied). Robby
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}