MPS issue job003487

TitlePool debug options are awkward to pass
Assigned userRichard Brooksby
DescriptionMPS version 1.112 introduced keyword arguments, but hasn't applied these to the pool debug options. There's an opportunity to clean up this interface and replace the structure passing with more keywords.
AnalysisAnalyse the contents of the pool debug options structure and define a suitable and convenient keyword interface.

There ought to be default values too.
How foundinspection
Evidence"Review request: keyword arguments" <> and others in that thread.
Created byRichard Brooksby
Created on2013-05-16 17:48:18
Last modified byGareth Rees
Last modified on2014-04-13 18:03:54
History2013-05-16 RB Created.


Change Effect Date User Description
185489 closed 2014-04-13 18:02:10 Gareth Rees Provide a default value for MPS_KEY_POOL_DEBUG_OPTIONS.
Don't use const in the types of the debugging templates: it's infectious!