[m-rev.] for post-commit review: remove quickcheck from extras dist. tarballs

[Julien Fischer]

Branches: main

Don't include QuickCheck in the extras distribution - it uses type class
instances that are not accepted by the current compiler.  (Specifically,
it has instances with arguments whose types are higher-order types.)

Update the release notes.

Mmakefile:
 	Don't include extras/quickcheck in the extras distribution
 	tarball.

RELEASE_NOTES:
 	Mention the C# backend here.

 	Lazy evaluation is (mostly) in the standard library now.

 	Remove the references to QuickCheck.

extras/README:
 	Remove the entry for QuickCheck.

extras/quickcheck/qcheck.m:
 	Add a comment to the top of this module mentioning that it
 	is not currently maintained.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.139
diff -u -r1.139 Mmakefile
--- Mmakefile	7 Dec 2010 07:50:29 -0000	1.139
+++ Mmakefile	7 Dec 2010 13:25:27 -0000
@@ -475,6 +475,7 @@
  		mv $$ROOTNAME/extras/opium_m	stuff-to-exclude;	\
  		mv $$ROOTNAME/extras/aditi stuff-to-exclude;		\
  		mv $$ROOTNAME/extras/stream stuff-to-exclude;		\
+		mv $$ROOTNAME/extras/quickcheck stuff-to-exclude;	\
  		mv $$ROOTNAME/extras	mercury-extras-$(VERSION);	\
  		mv $$ROOTNAME		mercury-compiler-$(VERSION);	\
  		mv tests		mercury-tests-$(VERSION);	\
@@ -489,6 +490,7 @@
  		mv mercury-tests-$(VERSION)	tests;			\
  		mv stuff-to-exclude/opium_m	$$ROOTNAME/extras/opium_m;\
  		mv stuff-to-exclude/aditi	$$ROOTNAME/extras/aditi;\
+		mv stuff-to-exclude/quickcheck  $$ROOTNAME/extras/quickcheck; \
  		mv stuff-to-exclude/*		$$ROOTNAME;		\
  		rmdir stuff-to-exclude;					\
  	)
Index: RELEASE_NOTES
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/RELEASE_NOTES,v
retrieving revision 1.34
diff -u -r1.34 RELEASE_NOTES
--- RELEASE_NOTES	14 Jul 2010 16:26:03 -0000	1.34
+++ RELEASE_NOTES	7 Dec 2010 13:25:27 -0000
@@ -140,8 +140,9 @@
  significantly better than all previous Prolog systems known to us.  However,
  the system does not need these extensions, and will work in their absence.

-The Mercury compiler can also compile Mercury programs to either Java or
-Erlang.  See README.Java and README.Erlang for further details.
+The Mercury compiler can also compile Mercury programs to Java, C# or
+Erlang.  See README.Java, README.CSharp, and README.Erlang respectively
+for further details.

  The current Mercury system has been tested on Linux (x86), Linux (x86_64),
  Mac OS X (x86 and x86_64), and Windows (x86).
@@ -184,12 +185,10 @@
       o  some sample Mercury programs

  The "mercury-extras" distribution contains some extra libraries for:
-     o  lazy evaluation
       o  dynamic linking
       o  backtrackable (trailed) destructive update
       o  arithmetic
          -  arithmetic on complex and imaginary numbers
-     o	an autotesting tool similar to Haskell's QuickCheck
       o  UIs:
          -  graphics using Tk, OpenGL/GLUT, Xlib or Allegro.
          -  text interfaces using curses
@@ -202,7 +201,6 @@
       o  the Morphine trace analysis system
       o  a general purpose lexer
       o  Moose, a parser generator for Mercury.
-     o  quickcheck, an autotesting tool similar to Haskell's QuickCheck.

  The "mercury-tests" distribution contains a test suite.

Index: extras/README
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/extras/README,v
retrieving revision 1.26
diff -u -r1.26 README
--- extras/README	26 Nov 2010 15:46:03 -0000	1.26
+++ extras/README	7 Dec 2010 13:25:27 -0000
@@ -70,8 +70,6 @@
  posix		A Mercury interface to some of the POSIX
  		(Portable Operating System Interface) APIs.

-quickcheck	An autotesting tool similar to Haskell's QuickCheck.
-
  references	A library package containing modules for manipulating
  		ML-style references (mutable state).

Index: extras/quickcheck/qcheck.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/extras/quickcheck/qcheck.m,v
retrieving revision 1.8
diff -u -r1.8 qcheck.m
--- extras/quickcheck/qcheck.m	27 Jul 2010 22:33:46 -0000	1.8
+++ extras/quickcheck/qcheck.m	7 Dec 2010 13:25:27 -0000
@@ -10,6 +10,11 @@
  %	The source code for autotest generator similar to Haskell's quickcheck.
  %	A user guide should be available at ./tutes/ in html format.
  %
+% NOTE: this code has not compiled since Mercury 0.13 because it uses
+% type class instance whose arguments have higher-order types. As such,
+% we do not currently include this in the extras distribution or maintain
+% it.
+%
  %---------------------------------------------------------------------------%
  %---------------------------------------------------------------------------%


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------