I had this question before. As I recall, the answer is that the existence
of HALT makes ASSERT(FALSE) redundant, i.e. it is a CP design
decision.

Stan

J. Stanley Warford

Professor of Computer Science

Pepperdine University

Malibu, CA 90263

Stan.Warford@pepperdine.edu

310-506-4332

On Jun 10, 2006, at 7:47 PM, CFB Software wrote:

This question arose in the process of porting some code from Gardens
Point Component Pascal to Blackbox Component Pascal. 

The following statement:

  ASSERT(FALSE)

Results in the compiler error: 'ASSERT fault'

Why? I haven't been able to find any reason in the Component Pascal
Language Reference why it should not be allowed.

Chris Burrows
CFB Software
http://www.cfbsoftware.com/gpcp

--- BlackBox
--- send subject HELP or UNSUBSCRIBE to blackbox@oberon.ch