Ed Murphy wrote:
> I spend Ab to make this proposal distributable.
> 
> Proposal:  Fix switches
> (AI = 2, please)
> 
> Amend Rule 869 (How to Join and Leave Agora) by inserting this text
> immediately after the paragraph beginning "A second-class person CAN":
> 
>       A non-person CANNOT be registered (or created in a Registered
>       state), rules to the contrary notwithstanding.
> 
> Amend Rule 2136 (Contests) by replacing this text:
> 
>       it CANNOT be flipped in any other way,
> 
> with this text:
> 
>       it CANNOT be flipped (or initialized to a non-'none' value) in
>       any other way,
> 

There should be a more general fix than this, preferably in the Switches
rule. Something like "A newly-created switch is always initialized with
its default value, rules to the contrary notwithstanding. If a switch
would otherwise be created with a non-default value, it is instead
flipped to that value (to the extent authorized by the rule claiming to
initialize it with a non-default value) immediately after its creation."

Reply via email to