Page 765 of 800
| Page 765 of 800 | Search internet |
Origin: check. Landing-place: diagnose.
Unsuited for uncurrying: x
During tactic expansion of the unification tactic 
, the unification tactic does unitac expansion. The 'Unsuited for uncurrying' message indicates that during unitac expansion, an Uncurry 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 Uncurry-seqop used on unfit argument and Uncurry tactic used on unfit argument.
| Page 765 of 800 | Search logiweb.eu |