code: public static Value patternFail(ValueException ve, ILexLocation location)
  			throws PatternMatchException
  	{
  		throw new PatternMatchException(ve.number, ve.getMessage(), location);
  	}
docs: Throw a PatternMatchException with a message from the ValueException.
  
  @param ve
  @param location
  @return
  @throws PatternMatchException