On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <[email protected]> wrote: > Carl: > - contract stuff (r18009 and probably more)
The interface for projection-based contracts has been streamlined by the introduction of blame objects and keyword-based constructors. In addition, custom contract structures now require only one structure property: either prop:contract or prop:flat-contract, as appropriate. --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
