11``` trycmd
22$ scryer-prolog -f --no-add-history tests-pl/invalid_decl1.pl -g halt
3- error(domain_error(operator_specifier,moin),load/1).
3+ error(domain_error(operator_specifier,moin),'.'(predicate- load/1,[]) ).
44
55```
66
77``` trycmd
88$ scryer-prolog -f --no-add-history tests-pl/invalid_decl2.pl -g halt
9- error(domain_error(operator_priority,4000),load/1).
9+ error(domain_error(operator_priority,4000),'.'(predicate- load/1,[]) ).
1010
1111```
1212
1313``` trycmd
1414$ scryer-prolog -f --no-add-history tests-pl/invalid_decl3.pl -g halt
15- error(type_error(list,todo_insert_invalid_term_here),load/1).
15+ error(type_error(list,todo_insert_invalid_term_here),'.'(predicate- load/1,[]) ).
1616
1717```
1818
1919``` trycmd
2020$ scryer-prolog -f --no-add-history tests-pl/invalid_decl4.pl -g halt
21- error(domain_error(directive,op/4),load/1).
21+ error(domain_error(directive,op/4),'.'(predicate- load/1,[]) ).
2222
2323```
2424
2525``` trycmd
2626$ scryer-prolog -f --no-add-history tests-pl/invalid_decl5.pl -g halt
27- error(domain_error(directive,(;)/2),load/1).
27+ error(domain_error(directive,(;)/2),'.'(predicate- load/1,[]) ).
2828
2929```
3030
3131``` trycmd
3232$ scryer-prolog -f --no-add-history tests-pl/invalid_decl6.pl -g halt
33- error(domain_error(directive,todo_insert_invalid_term_here),load/1).
33+ error(domain_error(directive,todo_insert_invalid_term_here),'.'(predicate- load/1,[]) ).
3434
3535```
3636
3737``` trycmd
3838$ scryer-prolog -f --no-add-history tests-pl/invalid_decl7.pl -g halt
39- error(domain_error(operator_specifier,todo_insert_invalid_term_here),load/1).
39+ error(domain_error(operator_specifier,todo_insert_invalid_term_here),'.'(predicate- load/1,[]) ).
4040
4141```
4242
4343``` trycmd
4444$ scryer-prolog -f --no-add-history tests-pl/invalid_decl8.pl -g halt
4545% Warning: singleton variables Var at line 1 of invalid_decl8.pl
46- error(domain_error(operator_specifier,todo_insert_invalid_term_here),load/1).
46+ error(domain_error(operator_specifier,todo_insert_invalid_term_here),'.'(predicate- load/1,[]) ).
4747
4848```
4949
5050``` trycmd
5151$ scryer-prolog -f --no-add-history tests-pl/invalid_decl9.pl -g halt
5252% Warning: singleton variables Var at line 1 of invalid_decl9.pl
53- error(type_error(integer,todo_insert_invalid_term_here),load/1).
53+ error(type_error(integer,todo_insert_invalid_term_here),'.'(predicate- load/1,[]) ).
5454
5555```
5656
@@ -64,37 +64,37 @@ FIXME I belive the following test should result in a `error(instantiation_error,
6464``` trycmd
6565$ scryer-prolog -f --no-add-history tests-pl/invalid_decl11.pl -g halt
6666% Warning: singleton variables Var at line 1 of invalid_decl11.pl
67- error(type_error(list,todo_insert_invalid_term_here),load/1).
67+ error(type_error(list,todo_insert_invalid_term_here),'.'(predicate- load/1,[]) ).
6868
6969```
7070
7171``` trycmd
7272$ scryer-prolog -f --no-add-history tests-pl/invalid_decl12.pl -g halt
73- error(permission_error(create,operator,{}),load/1).
73+ error(permission_error(create,operator,{}),'.'(predicate- load/1,[]) ).
7474
7575```
7676
7777``` trycmd
7878$ scryer-prolog -f --no-add-history tests-pl/invalid_decl13.pl -g halt
79- error(permission_error(create,operator,{}),load/1).
79+ error(permission_error(create,operator,{}),'.'(predicate- load/1,[]) ).
8080
8181```
8282
8383``` trycmd
8484$ scryer-prolog -f --no-add-history tests-pl/invalid_decl14.pl -g halt
85- error(permission_error(create,operator,'|'),load/1).
85+ error(permission_error(create,operator,'|'),'.'(predicate- load/1,[]) ).
8686
8787```
8888
8989``` trycmd
9090$ scryer-prolog -f --no-add-history tests-pl/invalid_decl15.pl -g halt
91- error(permission_error(create,operator,'|'),load/1).
91+ error(permission_error(create,operator,'|'),'.'(predicate- load/1,[]) ).
9292
9393```
9494
9595``` trycmd
9696$ scryer-prolog -f --no-add-history tests-pl/invalid_decl16.pl -g halt
97- error(permission_error(modify,operator,','),load/1).
97+ error(permission_error(modify,operator,','),'.'(predicate- load/1,[]) ).
9898
9999```
100100
0 commit comments