···

       
425
       
425
       
 
       
          let

     

       
426
       
426
       
 
       
            coerceVal = val:

     

       
427
       
427
       
 
       
              if finalType.check val then val

     

       
428
       
428
       
-
       
              else let

     

       
429
       
429
       
-
       
                coerced = coerceFunc val;

     

       
430
       
430
       
-
       
              in assert finalType.check coerced; coerced;

     

       
431
       
431
       
-
       


     

       
428
       
428
       
+
       
              else coerceFunc val;

     

       
432
       
429
       
 
       
          in finalType.merge loc (map (def: def // { value = coerceVal def.value; }) defs);

     

       
433
       
430
       
 
       
        getSubOptions = finalType.getSubOptions;

     

       
434
       
431
       
 
       
        getSubModules = finalType.getSubModules;