21 May
2007
21 May
'07
6:08 a.m.
ndmitchell:
Hi
* You export some incomplete record selectors: "focus", "left" and "right".
Does (..) not export them still?
Yeah. I need to work out which ones we need. I suspect focus, left and right can be avoided, in favour of peek.
* "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.
Ah ok. -- Don