Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-02 11:31:16 -0800 (Wed, 02 Mar 2005)
Revision: 6813
Log message:
Simplified the instance/pattern code a bit - when we already have a pattern,
there is no need to turn patterns into instances - the code for matching two
patters is more efficient that the code for matching a pattern and an
instance.