Fix comment

This commit is contained in:
Eelco Dolstra 2013-10-28 07:52:24 +01:00
parent b479dac8df
commit b6b14dae78

View File

@ -203,21 +203,21 @@ rec {
else else
[ def ]; [ def ];
/* Given a list of config value, process the mkOverride properties, /* Given a list of config values, process the mkOverride properties,
that is, return the values that have the highest (that that is, return the values that have the highest (that is,
is,. numerically lowest) priority, and strip the mkOverride numerically lowest) priority, and strip the mkOverride
properties. For example, properties. For example,
[ { file = "/1"; config = mkOverride 10 "a"; } [ { file = "/1"; value = mkOverride 10 "a"; }
{ file = "/2"; config = mkOverride 20 "b"; } { file = "/2"; value = mkOverride 20 "b"; }
{ file = "/3"; config = "z"; } { file = "/3"; value = "z"; }
{ file = "/4"; config = mkOverride 10 "d"; } { file = "/4"; value = mkOverride 10 "d"; }
] ]
yields yields
[ { file = "/1"; config = "a"; } [ { file = "/1"; value = "a"; }
{ file = "/4"; config = "d"; } { file = "/4"; value = "d"; }
] ]
Note that "z" has the default priority 100. Note that "z" has the default priority 100.