Re: [racket] check-fact would be nice...

2011-10-14 Thread Matthias Felleisen
It's not consistency. It's pragmatic consistency that I am after. On Oct 14, 2011, at 2:21 PM, Shriram Krishnamurthi wrote: > I admire the consistency of this position - I really do - but we also have > check-error. > > -- > Pardon terseness and mistakes -- sent from phone. >

Re: [racket] check-fact would be nice...

2011-10-14 Thread Shriram Krishnamurthi
I admire the consistency of this position - I really do - but we also have check-error. -- Pardon terseness and mistakes -- sent from phone. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] check-fact would be nice...

2011-10-13 Thread Matthias Felleisen
In full Racket, use rackunit and it has all these goodies. For *SL, I prefer it if students spell it all out. It is trivial to indoctrinate every single student with a test is only a test if it consists of an expression and an expected value. On Oct 13, 2011, at 7:43 PM, Adam Shaw wrote: