5 Commits

Author	SHA1	Message	Date
Skgland	5064760b1e	fix spelling	2026-01-10 18:13:59 +01:00
David Farrell	f509d3d66f	Line numbers start at 1 ... Bumps the line number for the singleton warning. When the singleton occurs on the same line at the term starts, the line number is correct: foo(X). However it stills mis-reports this line number as 1 instead of 5: foo(1) :- true, true, true, Y. See issue #1356.	2025-02-02 08:16:05 -05:00
Bennet Bleßmann	c24a51b633	fix looping from issue 2467	2024-08-17 23:37:12 +02:00
Bennet Bleßmann	058b9c5e51	switch invalid term from type to domain error	2024-08-05 21:25:44 +02:00
Bennet Bleßmann	5a0abd713e	change declaration to directive	2024-08-05 21:25:43 +02:00