Sam Tobin-Hochstadt <[email protected]> writes: > (assert x p?) is equivalent to (if (p? x) x (error ...)) except that > the result is known to have the appropriate type (here `String').
Ah, OK, I think I see my mistake; is this the right way to put it? Although the expression (assert x string?) has type String, and evaluates to the same value as `x' provided that value is indeed a string, this does not mean that the expression `x' has type String. Thanks! Richard _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
