Re: [jamboost] EXIT and errors.error

From: Vladimir Prus (ghost_at_[hidden])
Date: 2002-11-12 01:08:08

David Abrahams wrote:
> Gentlemen,
> 
> stuff like:
> 
> print.wrapped-text "error: multiple base variants are not yet supported" ;
> EXIT ;
> 
> Ought to basically never be written. We should use:
> 
> errors.error "multiple base variants are not yet supported" ;
> 
> instead. Quotes are optional, of course ;-)

I have some reservation about this. For example, if there's gristed element
in sources for some main target, it's an error. If you use "errors.error" to
report this, user will see a looong backtrace, while all it really needs is
the name of offending targets.

- Volodya