mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
9cacd33f47
This first step deals with the consequences of such removal.
The removal itself will happen in stage 2. That step will
add "is" to the prolog module in the library.
compiler/add_pred.m:
Prepare for "is" being in the prolog module.
compiler/options.m:
Add a way to test whether the change to add_pred.m is in the
installed compiler.
tests/accumulator/base.m:
tests/accumulator/call_in_base.m:
tests/accumulator/chain.m:
tests/accumulator/commutative.m:
tests/accumulator/construct_test.m:
tests/accumulator/dcg.m:
tests/accumulator/deconstruct_test.m:
tests/accumulator/disj.m:
tests/accumulator/func.m:
tests/accumulator/heuristic.m:
tests/accumulator/highorder.m:
tests/accumulator/identity.m:
tests/accumulator/inter.m:
tests/accumulator/nonrec.m:
tests/accumulator/out_to_in.m:
tests/accumulator/qsort.m:
tests/accumulator/simple.m:
tests/accumulator/split.m:
tests/accumulator/swap.m:
tests/benchmarks/cqueens.m:
tests/benchmarks/crypt.m:
tests/benchmarks/deriv.m:
tests/benchmarks/deriv2.m:
tests/benchmarks/nrev.m:
tests/benchmarks/poly.m:
tests/benchmarks/primes.m:
tests/benchmarks/qsort.m:
tests/benchmarks/query.m:
tests/benchmarks/tak.m:
tests/debugger/interactive.m:
tests/declarative_debugger/Mercury.options:
tests/declarative_debugger/io_read_bug.m:
tests/declarative_debugger/queens.exp:
tests/declarative_debugger/queens.m:
tests/dppd/imperative_solve_impl.m:
tests/dppd/map_impl.m:
tests/dppd/max_length_impl.m:
tests/dppd/sum.m:
tests/dppd/upto_sum_impl.m:
tests/par_conj/dep_par_21.m:
tests/tabling/seq.m:
tests/term/dds3_14.m:
tests/term/mmatrix.m:
tests/term/money.m:
tests/term/occur.m:
tests/term/pl4_5_2.m:
tests/term/queens.m:
tests/typeclasses/inference_test.m:
tests/typeclasses/inference_test_2.m:
tests/valid/lazy_list.m:
tests/warnings/duplicate_const.m:
Replace calls to "is" with unifications. In many places,
bring programming style up to date.
56 lines
1.4 KiB
Plaintext
56 lines
1.4 KiB
Plaintext
1: 1 1 CALL pred queens.main/2-0 (cc_multi) queens.m:18
|
|
mdb> echo on
|
|
Command echo enabled.
|
|
mdb> register --quiet
|
|
mdb> dd -d 3 -n 7
|
|
mdb: declarative debugging is only available from EXIT, FAIL or EXCP events.
|
|
mdb> break queen
|
|
0: + stop interface pred queens.queen/2-0 (nondet)
|
|
mdb> continue
|
|
5: 3 2 CALL pred queens.queen/2-0 (nondet) queens.m:32 (queens.m:20)
|
|
mdb> finish
|
|
161: 3 2 FAIL pred queens.queen/2-0 (nondet) queens.m:32 (queens.m:20)
|
|
mdb> dd -d 3 -n 7
|
|
Call queen([1, 2, 3, 4, 5], _)
|
|
Unsatisfiable? no
|
|
Call qperm([1, 2, 3, 4, 5], _)
|
|
Unsatisfiable? no
|
|
qdelete(1, [1, 2, 3, 4, 5], [2, ...])
|
|
Valid? yes
|
|
qdelete(2, [1, 2, 3, 4, 5], [1, ...])
|
|
Valid? yes
|
|
Call qperm([1, 3, 4, 5], _)
|
|
Unsatisfiable? no
|
|
qdelete(1, [1, 3, 4, 5], [3, 4, ...])
|
|
Valid? yes
|
|
qdelete(3, [1, 3, 4, 5], [1, 4, ...])
|
|
Valid? yes
|
|
Call qperm([1, 4, 5], _)
|
|
Unsatisfiable? no
|
|
qdelete(1, [1, 4, 5], [4, 5])
|
|
Valid? yes
|
|
qdelete(4, [1, 4, 5], [1, 5])
|
|
Valid? yes
|
|
Call qperm([1, 5], _)
|
|
Unsatisfiable? no
|
|
qdelete(1, [1, 5], [5])
|
|
Valid? yes
|
|
qdelete(5, [1, 5], [1])
|
|
Valid? yes
|
|
Call qperm([1], _)
|
|
Unsatisfiable? no
|
|
qdelete(1, [1], [])
|
|
Valid? yes
|
|
Call qdelete(_, [1], _)
|
|
Solutions:
|
|
qdelete(1, [1], [])
|
|
Complete? yes
|
|
Found partially uncovered atom:
|
|
qperm([1], _)
|
|
Is this a bug? yes
|
|
60: 16 7 FAIL pred queens.qperm/2-0 (nondet) queens.m:38 (queens.m:42)
|
|
mdb> continue
|
|
161: 3 2 FAIL pred queens.queen/2-0 (nondet) queens.m:32 (queens.m:20)
|
|
mdb> continue
|
|
No solution
|