Revision 1 as of 2009-05-20 03:36:45
|Deletions are marked like this.||Additions are marked like this.|
|Line 3:||Line 3:|
|* In the following full type hierarchy:||* In the following full type hierarchy:|
This page is a repository for documenting known issues with the LKB such that they can be investigated and corrected, should developers visit or revisit the relevant areas of the code.
- 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:
I expected a graph with 10 edges, rather than 12, since ‘a’ already subsumes both ‘f’ and ‘e’ via ‘glbtype1’ and ‘glbtype2’.