Amend x m} y Changed initial writing: 2006-07-21last updated: 2006-07-21 x m}y is changed so that an error is signalled if fill is required in m{y .