[m-dev.] diff: run magic sets with --errorcheck-only

[Simon TAYLOR]

Estimated hours taken: 0.1

compiler/mercury_compile.m:
	The magic sets transformation can report errors, so run it
	even if `--errorcheck-only' was passed to the compiler.


Index: mercury_compile.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mercury_compile.m,v
retrieving revision 1.157
diff -u -u -r1.157 mercury_compile.m
--- mercury_compile.m	2000/04/21 02:47:17	1.157
+++ mercury_compile.m	2000/05/06 06:33:25
@@ -417,10 +417,14 @@
 		( { UnusedArgs = yes } ->
 			globals__io_set_option(optimize_unused_args, bool(no)),
 			mercury_compile__maybe_unused_args(HLDS21,
-				Verbose, Stats, _)
+				Verbose, Stats, HLDS22)
 	    	;
-			[]
-	    	)
+			{ HLDS22 = HLDS21 }
+	    	),
+		% magic sets can report errors.
+		mercury_compile__maybe_transform_dnf(HLDS22,
+			Verbose, Stats, HLDS23),
+		mercury_compile__maybe_magic(HLDS23, Verbose, Stats, _)
 	    ; { MakeOptInt = yes } ->
 		% only run up to typechecking when making the .opt file
 	    	[]
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------