Summary

Maybe better message for minimum extension requirements

Metadata

Attachments

Description

The error message at http://tests.call-cc.org/2010/06/07/salmonella-report/mw-core.html is

 Error: the required extension `"z3"' is older than 1.39, which is what this extension requires

The attached patch makes it look like

 Error: the currently installed extension `"z3"' is older than 1.39, which is the minimum version that this extension requires

Does it sound better? I guess so (that's why I'm filling this ticket), but maybe it's just me. Feel free to ignore this patch or to improve it. Maybe the triple-quotes are too much.

Also, the error for mw-core looks weird, since it says that 1.40 is older than 1.39.

Changes and comments

[2010-06-08 02:21:02 UTC] mario attached maybe-better-minimum-version-required-message.diff (description=(Maybe) better "minimum version required" message)

[2010-06-08 07:57:15 UTC] felix changed status from new to closed

[2010-06-08 07:57:15 UTC] felix set resolution to fixed

[2010-06-08 07:57:15 UTC] felix wrote:

Applied in 1e460d3 - thanks very much.

[2011-04-04 08:31:00 UTC] felix removed milestone 4.6.0

[2011-04-04 08:31:00 UTC] felix wrote:

Milestone 4.6.0 deleted