On May 25, 2011, at 10:58 PM, Eli Barzilay wrote: > 20 minutes ago, Matthias Felleisen wrote: >> >> In what sense did you screw up? Even in ML all you get is a warning >> that your cases aren't exhaustive -- and so you get a run-time >> exception. So what? Run-time exceptions are a part of the standard >> type soundness theorem. -- Matthias > > Having these errors detected at compile time are a huge win in my > course.
That's what I said to you yesterday :-) _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev