[m-rev.] diff: update README.DotNet

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

README.DotNet:
	Document the `--target il' and `--il' options as alternative ways
	of selecting the `il' grade.  Change the examples to use `--il'
	rather than `--grade il'.

	Update the status of time.m in the documentation of which modules
	and routines are not yet implemented.  Previously the whole module
	was unimplemented for .NET, but now most of it has been implemented
	and there are only a few procedures which don't work for .NET.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: README.DotNet
===================================================================
RCS file: /home/mercury1/repository/mercury/README.DotNet,v
retrieving revision 1.12
diff -u -d -r1.12 README.DotNet
--- README.DotNet	2 Feb 2004 03:17:01 -0000	1.12
+++ README.DotNet	11 Feb 2004 04:19:58 -0000
@@ -76,9 +76,12 @@
 
 THE IL GRADE
 
-The Mercury compiler currently supports the grade 'il' to target the
-Microsoft.NET CLR.  Support for building and installation of this grade
-is still somewhat rudimentary.
+The Mercury compiler currently supports the grade `il' to target the
+Microsoft.NET CLR.  This grade is enabled by any of the options
+`--grade il', `--target il', or just `--il'.
+
+Support for building and installation of this grade is still somewhat
+rudimentary.
 
 To run a Mercury program using the il grade, you need to build the
 library and runtime in the il grade, using the Mercury source distribution.
@@ -92,7 +95,7 @@
 directory.
 	
 	cd samples
-	mmc --make --grade il hello
+	mmc --make --il hello
 
 Now you can run hello
 
@@ -229,7 +232,6 @@
 
 	benchmarking
 	store
-	time
 
    The standard library modules that provide RTTI are only partly implemented
    (basically just enough to make io.print work):
@@ -241,8 +243,19 @@
    are still not yet implemented:
 
 	io.binary_stream_offset/4
-	io.seek_binary_2/5
+	io.seek_binary/5
 	type_desc.make_type/2
 	type_desc.type_ctor/1
+	time.clock/3
+	time.times/4
+
+   The following procedures are implemented, but not completely:
+
+        time.local_time/3 
+        time.mktime/3 
+	   During times close to the transition to/from daylight savings time,
+	   local_time/3 may return incorrect values for the tm_dst field,
+	   and mktime/3 may incorrectly ignore the value of the tm_dst field
+	   in its input.  The problem is due to flaws in the .NET time APIs.
 
 -----------------------------------------------------------------------------

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------