UWN

Missing resource error

1

``` ?- length(_,L), open('/dev/null',read,S). L = 0, S = '$stream'(0x5644c5b819a8) ; L = 1, S = '$stream'(0x5644c5b84f68) ; ... ; L = 1013, S = '$stream'(0x5644c5a06218) ; L = 1014,...

``` ulrich@TU-Wien:/opt/gupu/scryer-prolog$ time target/release/scryer-prolog -f ?- use_module(library(lists)). true. ?- use_module(library(lambda)). true. ?- length(L,N), ( true ; maplist(\sub_atom(abcdefghijklmnopqrstuvwxyz,_,1,_),L), catch(number_chars(_,L),error(syntax_error(_),_),false) ). L = [], N = 0 ; L = [_A], N...

number_chars/2 leak

1

``` ulrich@g1:/opt/gupu/scryer-prolog$ ulimit -v 80000 ulrich@g1:/opt/gupu/scryer-prolog$ target/release/scryer-prolog -f ?- repeat, number_chars(N,"12345678901234567890"), N = 0. GNU MP: Cannot allocate memory (size=24) Aborted (core dumped) ulrich@g1:/opt/gupu/scryer-prolog$ git describe v0.9.0-20-gd83b32a ```

Memory overflows not caught

16

ulrich@p0:~/lftp/rusty-prolog$ ulimit -v 100000 ulrich@p0:~/lftp/rusty-prolog$ /opt/gupu/rusty-wam/target/debug/rusty-wam prolog> a:-a,a. prolog> ?-catch(a,error(E,_),true). fatal runtime error: allocator memory exhausted Illegal instruction (core dumped) Expected (here, SICStus): | ?- catch(a,error(E,_),true). E = resource_error(memory) ?...

``` ?- partial_string_tail([a,C|1],T). caught: error(type_error(partial_string,[a,_2028542|1]),partial_string_tail/2) % unexpected ; expected type_error(list, [a,C|1]) ?- partial_string_tail([a,C|X],T). caught: error(type_error(partial_string,[a,_2028542|_2028543]),partial_string_tail/2) % unexpected ``` The first query must result in a `type_error(list, [a,C|1])` (or success, see...

``` ulrich@p0:~$ time /opt/gupu/scryer-prolog/target/debug/scryer-prolog -f ?- use_module(library(iso_ext)). true. ?- repeat, call_with_inference_limit(true,2,R), fail. GNU MP: Cannot allocate memory (size=8) Aborted (core dumped) real 6m45.871s user 2m6.154s sys 0m0.774s ulrich@p0:~$ ulimit -v...

library(error), missing error, module qualification?

5

``` :- meta_predicate(resource_error(+,:)). resource_error(Resource, Context) :- throw(error(resource_error(Resource), Context)). ```

copy_term/3 kind of removes constraint

2

The idea of `copy_term/3` is to leave the 'constraint store' completely unmodified. But this is what happens: ``` ?- userpred. caught: error(existence_error(procedure,userpred/0),userpred/0) % expected ?- freeze(X,userpred). freeze:freeze(X,user:userpred). % expected ?-...

``` ulrich@TU-Wien:/opt/gupu/scryer-prolog$ ulimit -v 100000 ulrich@TU-Wien:/opt/gupu/scryer-prolog$ time target/release/scryer-prolog -f ?- use_module(library(charsio)). true. ?- repeat, catch(read_from_chars("",T),error(syntax_error(_),_),true), false. memory allocation of 48 bytes failed Aborted (core dumped) real 0m27,615s user 0m21,946s sys...

Interrupt the query pressing Cntrl-C twice ulrich@g1:/opt/gupu/scryer-prolog$ time target/release/scryer-prolog -f ?- use_module(library(between)). true. ?- M is 10^9, between(1,M,N),writeq(N),nl, fail. 1 2 ... 281751 281752 281753 281754^C 283548 283549 caught: error('$interrupt_thrown',repl/0)...