[m-rev.] diff: minor fixes for version types

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

Some minor fixes for the version types that Ralph
has added to the standard library.

compiler/modules.m:
	Add the version type modules to the list of standard
	library modules.

library/version_array.m:
	Provided a Mercury definition of the type version_array(T)
	so that this module (and the library) compile in the java
	and il grades.  (XXX I haven't checked the latter).

Julien.

Index: compiler/modules.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/modules.m,v
retrieving revision 1.305
diff -u -r1.305 modules.m
--- compiler/modules.m	5 Sep 2004 23:52:33 -0000	1.305
+++ compiler/modules.m	27 Sep 2004 04:47:39 -0000
@@ -856,6 +856,12 @@
 mercury_std_library_module("tree234").
 mercury_std_library_module("type_desc").
 mercury_std_library_module("varset").
+mercury_std_library_module("version_array").
+mercury_std_library_module("version_array2d").
+mercury_std_library_module("version_bitmap").
+mercury_std_library_module("version_hash_table").
+mercury_std_library_module("version_store").
+mercury_std_library_module("version_types").

 module_name_to_search_file_name(ModuleName, Ext, FileName, !IO) :-
 	module_name_to_file_name(ModuleName, Ext, yes, no, FileName, !IO).
Index: library/version_array.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/version_array.m,v
retrieving revision 1.1
diff -u -r1.1 version_array.m
--- library/version_array.m	27 Sep 2004 00:44:48 -0000	1.1
+++ library/version_array.m	27 Sep 2004 04:50:15 -0000
@@ -243,6 +243,9 @@
             where equality   is eq_version_array,
                   comparison is cmp_version_array.

+    % This is necessary for the library to compile in the il and java
+    % grades.
+:- type version_array(T) ---> version_array(T).

 :- pred eq_version_array(version_array(T)::in, version_array(T)::in)
             is semidet.

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