[racket] : in ASL not quite working

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Mon Jul 4 08:56:32 EDT 2011

Something seems to be off.  When I have a contract violation, when the
error box pops up, if you click on a link, the text other than the
error line disappears.  This happened during a live demo here in
Dortmund.  If someone can't reproduce it I'll try to reconstruct it.

This is in 5.1.1.


Posted on the users mailing list.