This usually means that some list is constrained to be empty, and it is attempting to unify with something constrained to be non-empty. For instance, if a supertype constrains COMPS to be empty (COMPS < >), and another supertype (or the current type) is trying to constrain COMPS somehow (COMPS <[ LOCAL.CONT.HOOK.INDEX #ind ]> or COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG 3pl).

-- Main.trimblet - 2014-05-23

Topic revision: r1 - 2014-05-23 - 21:35:14 - trimblet
 

This site is powered by the TWiki collaboration platformCopyright & by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Privacy Statement Terms & Conditions