[m-rev.] diff: C# interface for .NET backend.

[Tyson Dowd]

On 03-May-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 01-May-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > compiler/mlds.m:
> ...
> > 	Change the definiton for mlds__var_name.
> 
> The documentation at the top of mlds.m should be updated 
> to say that MLDS variable names are structured terms,
> and giving the rationale (like it does for procedure names).
> 
> I'd do it myself, except that I still don't quite understand the rationale ;)

Estimated hours taken: 0.3
Branches: main

compiler/mlds.m:
	Document the rationale for using structured terms to represent
	MLDS variables.

Index: mlds.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mlds.m,v
retrieving revision 1.50
diff -u -r1.50 mlds.m
--- mlds.m	2001/05/02 11:36:37	1.50
+++ mlds.m	2001/05/04 11:41:03
@@ -87,9 +87,19 @@
 % 4. Variables
 %
 % MLDS variable names are determined by the HLDS variable name and
-% (to avoid ambiguity) variable number.
+% (in some cases, to avoid ambiguity) variable number.  The MLDS
+% variable name is a structured term that keeps the original variable
+% name separate from the distinguishing variable number. 
+% It is up to each individual backend to mangle the variable name
+% and number to avoid ambiguity where necessary.
 % All references to MLDS variables must however be fully qualified
 % with the name of the enclosing entity that defines them.
+%
+% [Rationale: the reason for keeping structured names rather than
+% mangled names at the MLDS level is that in some cases the mangling is
+% undesirable, as the original HLDS variable names are what is required
+% (for instance, when interfacing with foreign code which includes
+% references to the original HLDS variables names).]
 
 % 5. Global data
 %


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------