The repl bug is a general bug that requires a systematic change to things. It also hurts Typed Racket and other things.
On Aug 3, 2010, at 10:01 AM, Michael Sperber wrote: > > 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
