···

       
365
       
 
       
        else

     

       
366
       
 
       
          mergeDefinitions loc opt.type defs';

     

       
367
       
 
       


     

       
368
       
-
       


     

       
369
       
-
       
      # The value with a check that it is defined

     

       
370
       
-
       
      valueDefined = if res.isDefined then res.mergedValue else

     

       
371
       
-
       
        # (nixos-option detects this specific error message and gives it special

     

       
372
       
-
       
        # handling.  If changed here, please change it there too.)

     

       
373
       
-
       
        throw "The option `${showOption loc}' is used but not defined.";

     

       
374
       
-
       


     

       
375
       
 
       
      # Apply the 'apply' function to the merged value. This allows options to

     

       
376
       
 
       
      # yield a value computed from the definitions

     

       
377
       
-
       
      value = if opt ? apply then opt.apply valueDefined else valueDefined;

     

       
378
       
 
       


     

       
379
       
 
       
    in opt //

     

       
380
       
 
       
      { value = builtins.addErrorContext "while evaluating the option `${showOption loc}':" value;

     
···

       
408
       
 
       
      };

     

       
409
       
 
       
    defsFinal = defsFinal'.values;

     

       
410
       
 
       


     

       
411
       
-
       
    # Type-check the remaining definitions, and merge them.

     

       
412
       
-
       
    mergedValue = foldl' (res: def:

     

       
413
       
-
       
      if type.check def.value then res

     

       
414
       
-
       
      else throw "The option value `${showOption loc}' in `${def.file}' is not of type `${type.description}'.")

     

       
415
       
-
       
      (type.merge loc defsFinal) defsFinal;

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
416
       
 
       


     

       
417
       
 
       
    isDefined = defsFinal != [];

     

       
418
       
 
       


     

···

       
365
       
 
       
        else

     

       
366
       
 
       
          mergeDefinitions loc opt.type defs';

     

       
367
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
368
       
 
       
      # Apply the 'apply' function to the merged value. This allows options to

     

       
369
       
 
       
      # yield a value computed from the definitions

     

       
370
       
+
       
      value = if opt ? apply then opt.apply res.mergedValue else res.mergedValue;

     

       
371
       
 
       


     

       
372
       
 
       
    in opt //

     

       
373
       
 
       
      { value = builtins.addErrorContext "while evaluating the option `${showOption loc}':" value;

     
···

       
401
       
 
       
      };

     

       
402
       
 
       
    defsFinal = defsFinal'.values;

     

       
403
       
 
       


     

       
404
       
+
       
    # Type-check the remaining definitions, and merge them. Or throw if no definitions.

     

       
405
       
+
       
    mergedValue =

     

       
406
       
+
       
      if isDefined then

     

       
407
       
+
       
        foldl' (res: def:

     

       
408
       
+
       
          if type.check def.value then res

     

       
409
       
+
       
          else throw "The option value `${showOption loc}' in `${def.file}' is not of type `${type.description}'."

     

       
410
       
+
       
        ) (type.merge loc defsFinal) defsFinal

     

       
411
       
+
       
      else

     

       
412
       
+
       
        # (nixos-option detects this specific error message and gives it special

     

       
413
       
+
       
        # handling.  If changed here, please change it there too.)

     

       
414
       
+
       
        throw "The option `${showOption loc}' is used but not defined.";

     

       
415
       
 
       


     

       
416
       
 
       
    isDefined = defsFinal != [];

     

       
417