| Type | Wish | Status | tested | Date | 20-Oct-2010 11:53 |
|---|---|---|---|---|---|
| Version | alpha 107 | Category | Syntax | Submitted by | BrianH |
| Platform | All | Severity | major | Priority | high |
| Summary | Script header options: block |
|---|---|
| Description |
Script headers could handle script, module and user-defined options better if they had an options block. This would be a simple block of flag words. If the word is in the block, the option applies. If not, it doesn't. This could replace any number of script header options of the option: true type. The options field would need to be added to the standard header so you can refer to it without having to use SELECT hdr 'options. Existing options that could immediately be converted would be the 'isolate and 'content fields, and more could be added. |
| Example code |
; Before REBOL [type: 'module isolate: true] ... ; After REBOL [type: 'module options: [isolate]] ... |
| Assigned to | n/a | Fixed in | alpha 108 | Last Update | 20-Oct-2010 11:56 |
|---|
| Date | User | Field | Action | Change |
|---|---|---|---|---|
| 20-Oct-2010 11:56 | BrianH | Description | Modified | - |
| 20-Oct-2010 11:54 | BrianH | Description | Modified | - |
| 20-Oct-2010 11:54 | BrianH | Code | Modified | - |
| 20-Oct-2010 11:54 | BrianH | Fixedin | Modified | => alpha 108 |
| 20-Oct-2010 11:54 | BrianH | Status | Modified | submitted => tested |
| 20-Oct-2010 11:53 | BrianH | Ticket | Added | - |