option vs. make-option

Show/hide message thread

option vs. make-option Anthony Carrico (29 Oct 2002 15:20 UTC)

Re: option vs. make-option felix (30 Oct 2002 18:45 UTC)

Re: option vs. make-option Anthony Carrico (30 Oct 2002 20:27 UTC)

option vs. make-option Anthony Carrico 29 Oct 2002 15:25 UTC

Should the option constructor be "option" as in the draft or
"make-option".

  -Tony Carrico