···

       
1135
       
1135
       
 
       
        type = toType;

     

       
1136
       
1136
       
 
       
      });

     

       
1137
       
1137
       
 
       
      config = mkMerge [

     

       
1138
       
1138
       
-
       
        {

     

       
1138
       
1138
       
+
       
        (optionalAttrs (options ? warnings) {

     

       
1139
       
1139
       
 
       
          warnings = optional (warn && fromOpt.isDefined)

     

       
1140
       
1140
       
 
       
            "The option `${showOption from}' defined in ${showFiles fromOpt.files} has been renamed to `${showOption to}'.";

     

       
1141
       
1141
       
-
       
        }

     

       
1141
       
1141
       
+
       
        })

     

       
1142
       
1142
       
 
       
        (if withPriority

     

       
1143
       
1143
       
 
       
          then mkAliasAndWrapDefsWithPriority (setAttrByPath to) fromOpt

     

       
1144
       
1144
       
 
       
          else mkAliasAndWrapDefinitions (setAttrByPath to) fromOpt)