The following produces an error when built with --min-bips but not
otherwise...
cat hello.pl
main :-
\+ [1,_,3] = [_,2,4],
write(hello), nl.
:- initialization(main).
jaspert@barbie:~/Build/Test$ gplc --no-top-level hello.pl
jaspert@barbie:~/Build/Test$ ./hello
hello
jaspert@barbie:~/Build/Test$ gplc -v --no-top-level --min-bips hello.pl
Prolog compiler (GNU Prolog) 1.6.0
Copyright (C) 1999-2023 Daniel Diaz
GNU Prolog comes with ABSOLUTELY NO WARRANTY.
This is free software; see the source or the file
named COPYING for copying conditions.
Path used: /usr/local/gprolog-1.6.0
*** Compiling
--- file: hello.pl
pl2wam -o /tmp/gplcwgQv0b.wam hello.pl
wam2ma -o /tmp/gplcSmwRQd.ma /tmp/gplcwgQv0b.wam
delete /tmp/gplcwgQv0b.wam
ma2asm -o /tmp/gplcetcdHf.s /tmp/gplcSmwRQd.ma
delete /tmp/gplcSmwRQd.ma
as -o /tmp/gplcAzSyxh.o /tmp/gplcetcdHf.s
delete /tmp/gplcetcdHf.s
*** Linking
gcc -fno-strict-aliasing -fcommon -o hello /tmp/gplcAzSyxh.o
/usr/local/gprolog-1.6.0/lib/libbips_pl.a
/usr/local/gprolog-1.6.0/lib/libengine_pl.a
/usr/local/gprolog-1.6.0/lib/liblinedit.a -lm
delete /tmp/gplcAzSyxh.o
jaspert@barbie:~/Build/Test$ ./hello
system_error(cannot_catch_throw(error(existence_error(procedure,(=)/2),(\+)/1)))
hello
Regards
Jasper
