REBOL3 tracker
  0.9.12 beta
Ticket #0001742 User: anonymous

Project:

Previous Next
rss
TypeWish Statusreviewed Date3-Nov-2010 09:03
Versionalpha 109 CategoryUnspecified Submitted byLadislav
PlatformAll Severityminor Prioritynormal

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 ton/a Fixed in- Last Update9-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 -