
21 May
2007
21 May
'07
6:06 a.m.
Hi
* You export some incomplete record selectors: "focus", "left" and "right".
Does (..) not export them still?
* "new" and "view" both call error. To gain Catch safety you can mark these errors as known by defining:
abort x = error x
This means that Catch will pass the code as is, as a flagged error?
Currently it means nothing, but I intend to fix that in the next few days. The intention is that if you call abort Catch will give you a warning "this function may raise the abort error blah", but Catch will still report success on the whole file. Thanks Neil