|Page 764 of 800||Search internet|
Origin: check. Landing-place: diagnose.
Unsuited for currying: x
During tactic expansion of the unification tactic , 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 . 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.
|Page 764 of 800||Search logiweb.eu|