On Mon, Aug 2, 2010 at 11:38 AM, Shriram Krishnamurthi <[email protected]> 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 [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
