[developers] LKB - retains redundant edges in type hierarchy
Ann.Copestake at cl.cam.ac.uk
Fri Apr 10 23:04:45 CEST 2009
glenn at thai-language.com said:
> I expected a graph with 10 edges, rather than 12, since Ìµ6;aÌµ7; already
> subsumes both Ìµ6;fÌµ7; and Ìµ6;eÌµ7; via Ìµ6;glbtype1Ìµ7; and Ìµ6;glbtype2Ìµ7;.
yes, you're quite right. I think that must be a very long-standing issue
because the relevant file (main/checktypes.lsp) hasn't been touched for
several years and I'm not sure how quickly it's likely to get fixed.
More information about the developers