[m-rev.] diff: mercury_hand_unify_compare_body.h

[Zoltan Somogyi]

runtime/mercury_hand_unify_compare_body.h:
	A file implementing both the unify and compare predicates for builtin
	types. It should have been committed with my other changes for
	harmonizing the treatment of builtin types.

Zoltan.

cvs diff: Diffing .
Index: mercury_hand_unify_compare_body.h
===================================================================
RCS file: mercury_hand_unify_compare_body.h
diff -N mercury_hand_unify_compare_body.h
--- /dev/null	Tue Aug  6 19:10:00 2002
+++ mercury_hand_unify_compare_body.h	Thu Jun  6 02:37:34 2002
@@ -0,0 +1,39 @@
+/*
+** Copyright (C) 2002 The University of Melbourne.
+** 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.
+*/
+
+/*
+** The internals of hand-written unification and comparison routines.
+**
+** The code that includes this file should define the following macros:
+** 
+** module	
+** type
+** arity
+** unify_code
+** compare_code
+*/
+
+#define	proc_label	MR_TYPE_UNIFY_FUNC(module, type, arity)
+#define	proc_static	MR_proc_static_compiler_name(module, __Unify__, type, \
+				arity, 0)
+#define	body_code	do { unify_code } while(0)
+
+#include	"mercury_hand_unify_body.h"
+
+#undef	proc_label
+#undef	proc_static
+#undef	body_code
+
+#define	proc_label	MR_TYPE_COMPARE_FUNC(module, type, arity)
+#define	proc_static	MR_proc_static_compiler_name(module, __Compare__, type, \
+				arity, 0)
+#define	body_code	do { compare_code } while(0)
+
+#include	"mercury_hand_compare_body.h"
+
+#undef	proc_label
+#undef	proc_static
+#undef	body_code
cvs diff: Diffing GETOPT
cvs diff: Diffing machdeps
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------