14.293 Unsuited for currying

Prev Up Next Page 764 of 800 Search internet

Origin: check. Landing-place: diagnose.

Unsuited for currying: x

During tactic expansion of the unification tactic x conclude y, the unification tactic does unitac expansion. The 'Unsuited for currying' message indicates that during unitac expansion, a Curry operator was applied to a term which was not of form ( u oplus v ) infer w. The term x is given out of context and after macro and unitac expansion, so start out by locating the error. See also Curry-seqop used on unfit argument and Curry tactic used on unfit argument.

Prev Up Next Page 764 of 800 Search logiweb.eu

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