[MLton-commit] r6049

[Vesa Karvonen]

Tweaked functor signatures to make combining and defining generics
simpler.  See the lib-with-default.mlb and test.mlb, in particular, for
how to define a combination of generics with the ML Basis system or in an
interactive implementation with the use-procedure.

Also implemented a na?\195?\175ve algorithm for searching smaller counterexamples
in the unit-test framework.

----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/unit-test/unstable/example.cm
U   mltonlib/trunk/com/ssh/unit-test/unstable/example.mlb

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/unit-test/unstable/example.cm
===================================================================
--- mltonlib/trunk/com/ssh/unit-test/unstable/example.cm	2007-09-23 13:19:11 UTC (rev 6048)
+++ mltonlib/trunk/com/ssh/unit-test/unstable/example.cm	2007-09-23 13:32:02 UTC (rev 6049)
@@ -6,13 +6,13 @@
 
 group
    library(../../extended-basis/unstable/basis.cm)
-   library(../../generic/unstable/lib-with-default.cm)
+   library(../../generic/unstable/lib.cm)
    library(../../random/unstable/lib.cm)
    library(detail/sorted-list.cm)
    library(lib-with-default.cm)
 is
    ../../extended-basis/unstable/basis.cm
-   ../../generic/unstable/lib-with-default.cm
+   ../../generic/unstable/lib.cm
    ../../random/unstable/lib.cm
    detail/sorted-list.cm
    lib-with-default.cm

Modified: mltonlib/trunk/com/ssh/unit-test/unstable/example.mlb
===================================================================
--- mltonlib/trunk/com/ssh/unit-test/unstable/example.mlb	2007-09-23 13:19:11 UTC (rev 6048)
+++ mltonlib/trunk/com/ssh/unit-test/unstable/example.mlb	2007-09-23 13:32:02 UTC (rev 6049)
@@ -8,7 +8,7 @@
    lib-with-default.mlb (* This should preferably be the first *)
 
    $(MLTON_LIB)/com/ssh/extended-basis/unstable/basis.mlb
-   $(MLTON_LIB)/com/ssh/generic/unstable/lib-with-default.mlb
+   $(MLTON_LIB)/com/ssh/generic/unstable/lib.mlb
    $(MLTON_LIB)/com/ssh/random/unstable/lib.mlb
 
    detail/sorted-list.sml