Re: [Xsb-development] Weird bug

[<ki...@cs...>]

> | ?- mc(bug, [sysmod,optimize,quit_on_error]).
> | ?-  m(_,_,_).
> ++Error: Undefined predicate:  m / 3 
> Aborting...
> 
> XSB exited with exit code: 1
> 
> Apparently, the quit_on_error stays on after the mc/2 has finished. Is
> this as intended ? (couldn't find it in the docs quick enough so I
> though I ask)

Quit on error means that xsb should quit, if there is a compile error (from
mc, compile, etc.).
It is indeed undocumented (an omission) and is used only in the makefiles
(so that the build process will quit immediately, if there is a compile error).

You should not put it among the options if you want xsb survive compilation
errors.



	--michael