| From: Paul Steckler (steck at ccs.neu.edu) Date: Wed Sep 11 14:28:43 EDT 2002 |
|
> Well, not if the default doesn't do anything -- at least not more > surprising than the possibility of overriding #%app and relatives... Your code might be used in a context where the parameter isn't the default, and where you didn't set it. -- Paul
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}