FailedAtPath < Main

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 &lt; &gt;), and another supertype (or the current type) is trying to constrain COMPS somehow (COMPS &lt;[ LOCAL.CONT.HOOK.INDEX #ind ]&gt; or COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG 3pl).

-- Main.trimblet - 2014-05-23

This topic: Main > WebHome > GrammarEngineeringFAQ > FailedAtPath
Topic revision: r1 - 2014-05-23 - trimblet