Recently in swipl-8.2.1/windows/64-bit we ran into issues when some part of our tool chain decided to replace line endings <cr><lf> with <cr><cr><lf>. This caused swipl to silently ignore the files, and I had similar issues on bsd. I can’t tell if this is expected behavior, and if so, what is the re…

… ok, I see my text changed when posting - line endings in our files were changed from CR-LF to CR-CR-LF… inserting an additional CR before the line ending.

[image] BJooze: my text changed when posting I fixed it by fencing the text with backquotes, e.g. `. See: Markdown (I know the reference is to another site but the Markdown is basically the same as used with Discourse).

[image] BJooze: what is the reason for ignoring silently This is normally how Prolog works. Remember that Prolog is a logic language that is made up of only predicates, and predicates return either true or false (think silently fail). Take a look at the results of the Google search swi prolo…

Sorry - when I consult my prolog source files from disk, all clauses in the files are ignored when my line endings are bad. Swipl doesn’t complain about it.

How exactly did you try to consult the files?

[image] BJooze: consult Thanks, that puts a different perspective on the problem. Now it makes more sense. Might be a bug, I will try to reproduce it and if so, then I am sure Jan W. will reflect upon this with info or a fix.

I use ensure_loaded(<filename>).

All the compile predicates in the end call load_files/2. Simple thing doesn’t reproduce: ?- open('x.pl', write, Out), format(Out, 'a(1).\r\r\na(2).\r\r\n', []), close(Out). And then ?- [x]. ?- a(X). X = 1 ; X = 2. Seems totally normal. Also what I’d expect: Prolog doesn’t care about white spa…

Using SWI-Prolog on Windows 10 SWI-Prolog (threaded, 64 bits, version 8.3.6) Created a file that loads correctly with consult/1. Then using Notepad++ converted the /r to /r/r. consult/1 worked correctly on this file. Then restarted the top level. ensure_loaded/1 worked correctly on this file. …

Line endings with ensure_loaded/1

Help! Tools

EricGT September 1, 2020, 1:45pm 13

FYI
Minimal and reproducible working examples

Topic		Replies	Views
Consult problems Help!	3	1149	March 14, 2019
Crash on load_files Help!	4	217	April 16, 2024
Prolog 8.3.2 GUI can not find [likes] source file Installing	10	2978	June 22, 2020
Swipl comman line: specifying source file name Help!	3	832	June 27, 2019
Unknown procedure after reloading with make Help!	7	1305	May 7, 2021

Line endings with ensure_loaded/1

Related topics