On Mon, Aug 2, 2010 at 11:38 AM, Shriram Krishnamurthi <s...@cs.brown.edu> wrote: > So why do you have an opaque require?
The opaque form of `require/typed' is to allow requiring operations on an ADT for which only a predicate is known. It supports using `require/typed' with ADTs defined in exactly the way Matthias suggests. For example, if there was no built-in `String' type, then the opaque form of `require/typed' would be the way to specify it. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
