[developers] LKB - retains redundant edges in type hierarchy

[Glenn Slayden]

In the following full type hierarchy:

 

a := *top*.

b := *top*.

d := a & b.

c := b.

e := a & c.

f := a & c.

 

the LKB establishes a type hierarchy with redundant edges from 'a'-'f' and
'a'-'e':

 

http://www.blobule.com/webshare/inv-3-hierarchy-lkb.png

 

I expected a graph with 10 edges, rather than 12, since 'a' already subsumes
both 'f' and 'e' via 'glbtype1' and 'glbtype2'.

 

Many thanks.

 

 

- Glenn Slayden

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20090410/d0bd8b81/attachment.html>