Canonical type nodes, or, comptypes considered harmful

[Joe Buck]

On Thu, Nov 09, 2006 at 09:06:42PM +0000, Joern RENNECKE wrote:
> > I can dig out actual real live numbers, if you're curious. For 
> example, when calling comptypes, the no answers are (were) 34x more 
> likely than yes answers. If you cannot return false immediately when 
> point_to_type1 != pointer_to_type2, you then have to run a structural 
> equality tester, 

How about using a hash, so mismatches fail quickly?