[m-rev.] diff: `--target il' => `--high-level-data'

[Fergus Henderson]

As discussed on mercury-developers...

Estimated hours taken: 0.25
Branches: main

compiler/handle_options.m:
scripts/final_grade_options.sh-subr:
	Make `--target il' imply `--high-level-data'.

	This is needed to ensure that the `--il' and `--target il'
	options select the `il' grade, which uses high-level data,
	rather than the `ilc' grade, which uses low-level data and
	which is no longer documented because it is not useful;
	high-level data is better for both efficiency and
	interoperability and for IL there are no advantages to
	low-level data.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: compiler/handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.198
diff -u -d -r1.198 handle_options.m
--- compiler/handle_options.m	10 Feb 2004 12:43:31 -0000	1.198
+++ compiler/handle_options.m	11 Feb 2004 03:46:44 -0000
@@ -331,6 +331,11 @@
 	%   - high-level code
 	%	  Because only the MLDS back-end supports
 	%	  compiling to IL, not the LLDS back-end.
+	%   - high-level data
+	%	  Because it is more efficient,
+	%	  and better for interoperability.
+	%	  (In theory --low-level-data should work too,
+	%	  but there's no reason to bother supporting it.)
 	%   - turning off nested functions
 	%	  Because IL doesn't support nested functions.
 	%   - using copy-out for nondet output arguments
@@ -375,6 +380,7 @@
 		globals__io_set_option(reclaim_heap_on_semidet_failure,
 			bool(no)),
 		globals__io_set_option(highlevel_code, bool(yes)),
+		globals__io_set_option(highlevel_data, bool(yes)),
 		globals__io_set_option(gcc_nested_functions, bool(no)),
 		globals__io_set_option(nondet_copy_out, bool(yes)),
 		globals__io_set_option(num_tag_bits, int(0)),
Index: scripts/final_grade_options.sh-subr
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/final_grade_options.sh-subr,v
retrieving revision 1.9
diff -u -d -r1.9 final_grade_options.sh-subr
--- scripts/final_grade_options.sh-subr	10 Feb 2004 12:43:33 -0000	1.9
+++ scripts/final_grade_options.sh-subr	11 Feb 2004 03:47:15 -0000
@@ -55,9 +55,9 @@
 esac
 
 #
-# --target Java implies --high-level-data
+# --target IL or Java implies --high-level-data
 #
-case $target in java)
+case $target in il|java)
 	highlevel_data=true ;;
 esac
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------