[MLton-commit] r6205

Matthew Fluet fluet at mlton.org
Mon Nov 26 08:20:57 PST 2007


'expert' field of MLB annotations only affect treatment in documentation, not treatment by command line options
----------------------------------------------------------------------

U   mlton/trunk/mlton/control/control-flags.sml
A   mlton/trunk/package/macosx/

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/control/control-flags.sml
===================================================================
--- mlton/trunk/mlton/control/control-flags.sml	2007-11-26 15:19:09 UTC (rev 6204)
+++ mlton/trunk/mlton/control/control-flags.sml	2007-11-26 16:20:56 UTC (rev 6205)
@@ -166,10 +166,7 @@
                enabled1 = enabled2
 
             val enabled = fn (T {enabled, ...}) => !enabled
-            val setEnabled = fn (T {enabled, expert, ...}, b) =>
-               if expert
-                  then false
-                  else (enabled := b; true)
+            val setEnabled = fn (T {enabled, ...}, b) => (enabled := b; true)
             val expert = fn (T {expert, ...}) => expert
             val name = fn (T {name, ...}) => name
          end
@@ -291,15 +288,13 @@
                                                   end
                                              else fn () => ()
                                        fun processDef () =
-                                          if expert
-                                             then false
-                                             else let
-                                                     val old = !def
-                                                     val new = newDef (old, v)
-                                                  in
-                                                     def := new
-                                                     ; true
-                                                  end
+                                          let
+                                             val old = !def
+                                             val new = newDef (old, v)
+                                          in
+                                             def := new
+                                             ; true
+                                          end
                                        val args =
                                           Args.T {fillArgs = fillArgs,
                                                   processAnn = processAnn,




More information about the MLton-commit mailing list