Markus Triska 8dc80b815f use round brackets for goals involving operators ...

Examples:

    ?- portray_clause(((+) :- a=b,(-))).
    (+) :-
       a=b,
       (-).
       true.

    ?- portray_clause((a :- (b :- c))).
    a :-
       (b:-c).
       true.

This addresses #2715.

Currently, more round brackets than needed are emitted. Ideally, a
better approach to solve the issue here and also in toplevel.pl is
found in the future.

2024-12-17 22:51:47 +01:00

..

bin

Be conservative with visibility

2024-09-03 01:02:01 -03:00

examples

don't read into the heap while incrementing self.s (#1233, #1245)

2022-01-25 20:37:29 -07:00

lib

use round brackets for goals involving operators

2024-12-17 22:51:47 +01:00

machine

Merge pull request #2582 from bakaq/rework_library_interface

2024-12-13 21:46:43 -07:00

parser

Fix Clippy

2024-09-06 21:34:49 -03:00

tests

add nth_partial_strings_tests for bugs raised in #1827, #2381

2024-04-10 15:50:24 -06:00

allocator.rs

fix use of copy_term/3 for attribute goals in toplevel (#888, #2057, #2217)

2023-12-13 12:27:59 -07:00

arena.rs

Fix warnings

2024-09-06 18:42:31 -03:00

arithmetic.rs

resolve problems from deps upgrade

2024-08-04 01:57:25 +02:00

atom_table.rs

Fix warnings

2024-09-06 18:42:31 -03:00

codegen.rs

Fix Clippy

2024-09-06 21:34:49 -03:00

debray_allocator.rs

don't mark temp variables as safe through argument_to_value (#2307)

2024-01-25 12:34:21 -07:00

ffi.rs

Revert "Remove unnecessary "unsafe" block to fix compiler warning"

2024-09-06 10:26:17 +02:00

forms.rs

Fix warnings

2024-09-06 18:42:31 -03:00

heap_iter.rs

clippy: allow new without default

2024-07-06 13:04:55 +02:00

heap_print.rs

Fix warnings

2024-09-06 18:42:31 -03:00

http.rs

run rustfmt

2024-07-23 00:01:58 +02:00

indexing.rs

resolve problems from deps upgrade

2024-08-04 01:57:25 +02:00

iterators.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

lib.rs

Migrate benches

2024-12-08 20:18:06 -03:00

loader.pl

instantiate module resolutions for meta-predicate lookups when expanding calls (#2255, #2619, #2684)

2024-12-06 23:30:36 -08:00

macros.rs

Make macros private

2024-09-06 17:17:04 -03:00

raw_block.rs

include the type name for better pin-pointing of the error source

2024-08-11 21:53:02 +02:00

read.rs

Emit warnings as Prolog comments

2023-12-30 17:39:20 -03:00

repl_helper.rs

resolve problems from deps upgrade

2024-08-04 01:57:25 +02:00

targets.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

toplevel.pl

export toplevel repl/0

2024-12-05 09:38:38 -05:00

types.rs

cleanup the slab types

2024-07-07 17:12:52 +02:00

variable_records.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00