Type | Wish | Status | reviewed | Date | 3-Nov-2010 09:03 |
---|---|---|---|---|---|
Version | alpha 109 | Category | Unspecified | Submitted by | Ladislav |
Platform | All | Severity | minor | Priority | normal |
Summary | Make HALT catchable |
---|---|
Description |
Currently, HALT is a non-catchable exception. If we made HALT catchable, it could facilitate e.g. writing a REBOL console in View, make test frameworks more robust, etc. |
Example code |
; For example, a test like below ; crashes the test framework ; at https://github.com/rebolsource/rebol-test [halt] |
Assigned to | n/a | Fixed in | - | Last Update | 9-Sep-2012 00:34 |
---|
Comments | |
---|---|
(0002778)
BrianH 3-Nov-2010 20:04 |
It would probably be best to do this be adding a CATCH /halt option, like CATCH/quit but catching HALT. They could even be combined to catch both. This also works well with the #1520 CATCH/name true option; all of them together would catch HALT, QUIT, THROW and THROW/name for all words. It's a good additive model. |
(0002781)
Ladislav 4-Nov-2010 01:30 |
in the core-tests suite |
(0002849)
maxim 12-Nov-2010 09:36 |
I really need this to prevent user hacks in some macro-type handling code. without being able to catch HALT, any sandboxing is pretty impossible. |
(0003239)
BrianH 9-Sep-2012 00:34 |
You can sandbox by not making the HALT function available to the sandboxed code. If they aren't provided with a reference to the function, or to a context with reference to the function, then they can't call it. |
Date | User | Field | Action | Change |
---|---|---|---|---|
9-Sep-2012 00:34 | BrianH | Comment : 0003239 | Added | - |
12-Nov-2010 09:36 | maxim | Comment : 0002849 | Added | - |
4-Nov-2010 08:54 | BrianH | Comment : 0002778 | Modified | - |
4-Nov-2010 01:30 | Ladislav | Comment : 0002781 | Added | - |
4-Nov-2010 01:26 | Ladislav | Description | Modified | - |
4-Nov-2010 01:26 | Ladislav | Code | Modified | - |
4-Nov-2010 01:21 | Ladislav | Description | Modified | - |
4-Nov-2010 01:18 | Ladislav | Summary | Modified | Make HALT and QUIT/now catchable => Make HALT catchable |
4-Nov-2010 01:18 | Ladislav | Description | Modified | - |
3-Nov-2010 20:50 | BrianH | Summary | Modified | Make HALT catchable => Make HALT and QUIT/now catchable |
3-Nov-2010 20:50 | BrianH | Description | Modified | - |
3-Nov-2010 20:48 | BrianH | Status | Modified | submitted => reviewed |
3-Nov-2010 20:04 | BrianH | Comment : 0002778 | Added | - |
3-Nov-2010 09:05 | Ladislav | Description | Modified | - |
3-Nov-2010 09:03 | Ladislav | Ticket | Added | - |