[m-rev.] [dotnet] fix canonical grade calculation for IL grades.

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Apr 14 14:51:22 AEST 2001


On 13-Apr-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> scripts/canonical_grade.sh-subr:
> 	Correctly determine the canonical grade for IL grades.

To help make sure we don't make the same mistake in the future,
I've committed the following diff.

Estimated hours taken: 0.1
Branches: main

compiler/handle_options.m:
	Add a comment reminding us to modify scripts/canonical_grade.sh-subr
	when we change the handling of the grade components.

Index: handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.105
diff -u -d -u -r1.105 handle_options.m
--- handle_options.m	2001/03/18 23:09:53	1.105
+++ handle_options.m	2001/04/14 04:44:34
@@ -768,6 +768,7 @@
 	% IMPORTANT: any changes here may require similar changes to
 	%	runtime/mercury_grade.h
 	%	scripts/parse_grade_options.sh-subr
+	%	scripts/canonical_grade.sh-subr
 	%
 	% The grade_component type should have one constructor for each
 	% dimension of the grade. It is used when converting the components
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  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
--------------------------------------------------------------------------



More information about the reviews mailing list