14.278 Incomplete unification

Prev Up Next Page 749 of 800 Search internet

Origin: check. Landing-place: diagnose.

Incomplete unification. Uninstantiated variable: x

The unification tactic had insufficient information for finding values for all metavariables that needed to be instantiated. The problem does not need be related to x, but looking at x could be a starting point. Once the line in error is located, a way to get rid of the message is to write out the argumentation (the left hand side of x conclude y) in more detail.

Prev Up Next Page 749 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05