Permalink
Browse files

Don't include QuickCheck in the extras distribution - it uses type class

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.
  • Loading branch information...
1 parent 99d591f commit 34c24b62a505dd0c5b5905e7b1d77e8c3c4ad2a1 Julien Fischer committed Dec 7, 2010
Showing with 10 additions and 7 deletions.
  1. +2 −0 Mmakefile
  2. +3 −5 RELEASE_NOTES
  3. +0 −2 extras/README
  4. +5 −0 extras/quickcheck/qcheck.m
View
@@ -475,6 +475,7 @@ tar: $(GENERATED_DOCS)
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 @@ tar: $(GENERATED_DOCS)
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; \
)
View
@@ -140,8 +140,9 @@ inline assembler. Using these extensions, it generates code that is
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 @@ The "mercury-compiler" distribution contains:
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 @@ and
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.
View
@@ -70,8 +70,6 @@ odbc A Mercury interface to ODBC (Open Database Connectivity),
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).
@@ -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.
+%
%---------------------------------------------------------------------------%
%---------------------------------------------------------------------------%

0 comments on commit 34c24b6

Please sign in to comment.