If you have any redex models lying around, can you look and see if you use 'where' clauses? If so, can you look to see if the variable bound in the where clause has an appropriate name for what it is bound to? That is, if it is bound to a number, the variable must be named number_x (for some 'x')?
Thanks, Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
