Hello again, I suggested a modified output from :s.

Mark P Jones found it confusing, and he was right.
I was only concerned with how fast I could get the information, and
not how understandable it is. I thought the output would be clear, and
I actually did find myself first looking up the letter, and then
searching to see if it is in the + or the - list.
So I still want the information on one line, but in a different
format.

Hans Aberg suggested

TOGGLES: groups begin with +/- to turn options on/off resp. (Last = default.)
s    Print no. reductions/cells after eval      off
t    Print type after evaluation                off
f    Terminate evaluation on first error        on

which I find much better. However, it's all about current settings, not
defaults. (And I don't want the heading line to become so long.)

So I now suggest

TOGGLES: groups begin with +/- to turn options on/off resp.
s    Print no. reductions/cells after eval   is now off
t    Print type after evaluation             is now off
f    Terminate evaluation on first error     is now on
...

Relative to my first patch, this is done like this:

*** hugs.c.p    Mon Aug  4 17:05:39 1997
--- hugs.c      Mon Aug 18 15:54:31 1997
***************
*** 261,275 ****
  }
  
  static Void local optionInfo() {        /* Print information about command */
!     static String fmts =  "-%-5s%s\n";  /* line settings                   */
!     static String fmtc = "%c%-5c%s\n";
      Int    i;
  
      Printf("TOGGLES: groups begin with +/- to turn options on/off resp.\n");
      for (i=0; toggle[i].c; ++i)
!         Printf(fmtc, *toggle[i].flag ? '+' : '-',
!                       toggle[i].c,
!                       toggle[i].description);
  
      Printf("\nOTHER OPTIONS: (leading + or - makes no difference)\n");
      Printf(fmts,"hnum","Set heap size (cannot be changed within Hugs)");
--- 261,275 ----
  }
  
  static Void local optionInfo() {        /* Print information about command */
!     static String fmts = "%-5s%s\n";    /* line settings                   */
!     static String fmtc = "%-5c%-40sis now %s\n";
      Int    i;
  
      Printf("TOGGLES: groups begin with +/- to turn options on/off resp.\n");
      for (i=0; toggle[i].c; ++i)
!         Printf(fmtc, toggle[i].c,
!                      toggle[i].description,
!                     *toggle[i].flag ? "on" : "off");
  
      Printf("\nOTHER OPTIONS: (leading + or - makes no difference)\n");
      Printf(fmts,"hnum","Set heap size (cannot be changed within Hugs)");


What do you think about it?

Christian Sievers

Reply via email to