Previous bad address: 0x0 problem...RESOLVED but not SOLVED

[Sean Charles]

I went back for another look:

gpredis_stringify(X,Y) :- is_list(X), format_to_codes(Y, ‘~s~', [X]).

                                        ^—oops!

Notice the trailing “~” in the format string, I intended it to be a newline so that’s a very good indication of where in the source code to have a look I guess!  I removed the ~ and everything is fine. I replaced it with the ~n too, again, no problems.

I managed to play and reduce it to the smallest piece of code I could make reproduce the problem:

yes

| ?- format_to_codes(Buf,'~s~',["bang"]).

Fatal Error: Segmentation Violation (bad address: 0x0)

Thanks.

Sean.