Remove uses of the "merge" option attribute

It's redundant because you can (and should) specify an option type, or an apply function.
2013-10-28 22:45:56 +01:00
parent f4a418761b
commit d5047faede
20 changed files with 36 additions and 27 deletions
@@ -66,6 +66,9 @@ rec {
         then head list
    else throw "Cannot merge values.";

+
+  /* Obsolete, will remove soon.  Specify an option type or apply
+     function instead.  */
  mergeTypedOption = typeName: predicate: merge: list:
    if all predicate list then merge list
    else throw "Expect a ${typeName}.";