···

       
799
       
 
       
      compare = a: b: (a.priority or 1000) < (b.priority or 1000);

     

       
800
       
 
       
    in sort compare defs';

     

       
801
       
 
       


     

       
802
       
-
       
  /* Hack for backward compatibility: convert options of type

     

       
803
       
-
       
     optionSet to options of type submodule.  FIXME: remove

     

       
804
       
-
       
     eventually. */

     

       
805
       
 
       
  fixupOptionType = loc: opt:

     

       
806
       
 
       
    let

     

       
807
       
 
       
      options = opt.options or

     

       
808
       
 
       
        (throw "Option `${showOption loc}' has type optionSet but has no option attribute, in ${showFiles opt.declarations}.");

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
809
       
 
       
      f = tp:

     

       
810
       
 
       
        let optionSetIn = type: (tp.name == type) && (tp.functor.wrapped.name == "optionSet");

     

       
811
       
 
       
        in

     

···

       
799
       
 
       
      compare = a: b: (a.priority or 1000) < (b.priority or 1000);

     

       
800
       
 
       
    in sort compare defs';

     

       
801
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
802
       
 
       
  fixupOptionType = loc: opt:

     

       
803
       
 
       
    let

     

       
804
       
 
       
      options = opt.options or

     

       
805
       
 
       
        (throw "Option `${showOption loc}' has type optionSet but has no option attribute, in ${showFiles opt.declarations}.");

     

       
806
       
+
       


     

       
807
       
+
       
      # Hack for backward compatibility: convert options of type

     

       
808
       
+
       
      # optionSet to options of type submodule.  FIXME: remove

     

       
809
       
+
       
      # eventually.

     

       
810
       
 
       
      f = tp:

     

       
811
       
 
       
        let optionSetIn = type: (tp.name == type) && (tp.functor.wrapped.name == "optionSet");

     

       
812
       
 
       
        in