[m-rev.] diff: fix interactive queries in the debugger

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

Fix the interactive query mechanism in the debugger.  It wasn't
working because the generated query programs did not import the
solutions module.

browser/interactive_query.m:
	Import the solutions module in the generated query program.

	Minor formatting fixes.

Julien.

Index: browser/interactive_query.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/interactive_query.m,v
retrieving revision 1.27
diff -u -r1.27 interactive_query.m
--- browser/interactive_query.m	29 Mar 2006 08:06:32 -0000	1.27
+++ browser/interactive_query.m	8 May 2006 04:04:20 -0000
@@ -5,10 +5,10 @@
 % 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.
 %-----------------------------------------------------------------------------%
-
+%
 % File: interactive_query.m.
 % Author: fjh.
-
+%
 % A module to invoke interactive queries using dynamic linking.
 %
 % This module reads in a query, writes out Mercury code for it to the file
@@ -17,7 +17,8 @@
 % `mdb_query' from the file `libmdb_query.so', looks up the address of the
 % procedure query/2 in that module, calls that procedure, and then
 % cleans up the generated files.
-
+%
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module mdb.interactive_query.
@@ -233,7 +234,7 @@

 %-----------------------------------------------------------------------------%
 %
-% print the program to a file
+% Print the program to a file
 %

 :- pred write_prog_to_file(prog::in, string::in, io::di, io::uo) is det.
@@ -279,7 +280,7 @@
         :- implementation.
         ", !IO),
     io.output_stream(Out, !IO),
-    write_import_list(Out, ["std_util" | Imports], !IO),
+    write_import_list(Out, ["solutions" | Imports], !IO),
     io.write_string("
             :- pragma source_file(""<stdin>"").
             run -->
@@ -446,7 +447,7 @@

 %-----------------------------------------------------------------------------%
 %
-% invoke the Mercury compile to compile the file to a shared object
+% Invoke the Mercury compile to compile the file to a shared object
 %

 :- pred compile_file(options::in, bool::out, io::di, io::uo) is det.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------