Matthias Felleisen <matth...@ccs.neu.edu> writes: > I found two things so far: > > 1. the basic signatures are lowercase in the docs, but are uppercase > for real.
They are lowercase in the docs because they're lower-case in the DMdA languages. They're only uppercase in the HtDP languages. (You may remember that we discussed this.) > 2. When you restrict a function with a signature, you can still > misapply it in the REPL: Yes - it is exactly the same as with check-expect. (And, once it's fixed with check-expect, it'll magically be fixed with signatures.) I don't know how to fix this, unfortunately. This, and the other minor issues (some error messages; coverage for struct signatures) seem like good subjects for a mini hack-a-thon at ICFP - we haven't gotten very far by e-mail. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev