14.294 Unsuited for uncurrying

Prev Up Next Page 765 of 800 Search internet

Origin: check. Landing-place: diagnose.

Unsuited for uncurrying: x

During tactic expansion of the unification tactic x conclude y, 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 u infer ( 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 Uncurry-seqop used on unfit argument and Uncurry tactic used on unfit argument.

Prev Up Next Page 765 of 800 Search logiweb.eu

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