mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-19 07:45:09 +00:00
fb27d22a8f
Estimated hours taken: 1.5 Branches: main Implement a committed choice version of the 'set' module, and use this in the declarative debugging oracle. This implementation of sets avoids the use of builtin comparison, which would otherwise cause problems for the oracle. This fixes a bug that was causing test case 'ho5' to fail. browser/set_cc.m: The new module. This is mostly a wrapper around tree234_cc. browser/mdb.m: Make the new module a sub-module of mdb. browser/declarative_oracle.m: Use the new module instead of sets from the standard library. tests/debugger/declarative/Mmakefile: tests/debugger/declarative/ho5.exp: tests/debugger/declarative/ho5.exp2: tests/debugger/declarative/ho5.inp: Enable this test case, and provide input and expected output.
47 lines
1.6 KiB
Mathematica
47 lines
1.6 KiB
Mathematica
%---------------------------------------------------------------------------%
|
|
% Copyright (C) 1998-2002 The University of Melbourne.
|
|
% This file may only be copied under the terms of the GNU Library General
|
|
% Public License - see the file COPYING.LIB in the Mercury distribution.
|
|
%---------------------------------------------------------------------------%
|
|
|
|
:- module mdb.
|
|
|
|
:- interface.
|
|
|
|
:- pred mdb__version(string::out) is det.
|
|
|
|
% These interface modules are used directly by the test programs
|
|
% or the libmer_trace library.
|
|
:- include_module browser_info, browse, help.
|
|
:- include_module interactive_query.
|
|
:- include_module debugger_interface, collect_lib.
|
|
:- include_module declarative_debugger, declarative_execution.
|
|
:- include_module program_representation, io_action.
|
|
|
|
:- implementation.
|
|
|
|
:- include_module frame, parse, util, sized_pretty.
|
|
:- include_module declarative_analyser, declarative_oracle, declarative_tree.
|
|
:- include_module declarative_user.
|
|
:- include_module tree234_cc, set_cc.
|
|
|
|
% XXX these modules are more generally useful, but the
|
|
% dynamic linking library is not yet installed anywhere.
|
|
:- include_module dl, name_mangle.
|
|
|
|
% See library/library.m for why we implement this predicate this way.
|
|
|
|
:- pragma foreign_proc("C", mdb__version(Version::out),
|
|
[will_not_call_mercury, promise_pure, thread_safe],
|
|
"
|
|
MR_ConstString version_string =
|
|
MR_VERSION "", configured for "" MR_FULLARCH;
|
|
/*
|
|
** Cast away const needed here, because Mercury declares Version
|
|
** with type MR_String rather than MR_ConstString.
|
|
*/
|
|
Version = (MR_String) (MR_Word) version_string;
|
|
").
|
|
|
|
%---------------------------------------------------------------------------%
|