<div dir="ltr"><div>(cross-posted to: <a href="https://delphinqa.ling.washington.edu/t/incomplete-expanded-type-constraints/681">https://delphinqa.ling.washington.edu/t/incomplete-expanded-type-constraints/681</a> )</div><div><br></div><div>
There seem to be some cases where the LKB does not fully expand type 
constraints, e.g. compiling the attached file as the entire grammar.</div><div><br></div><div>The type constraints for `null-with-diff-list` include a re-entrancy.  However, in the type `test`, this re-entrancy is lost.<br><br>Strangely, commenting out the definition of `1-list-with-diff-list` recovers the re-entrancy, even though this type does not appear in the feature structure.  Similarly, commenting out the constraints on `cons-with-diff-list` also recovers the re-entrancy, even though again this type does not appear in the feature structure.<br><br>I'm not 100% sure what the conditions are which cause this bug, but they must be quite specific, given the above behaviour, and given that the LKB can handle much larger and more complicated type constraint expansions.<br><br>I've tested this with the most recent release of LKB-FOS (as well as an older release).

</div></div>