[MLton-commit] r6116

Vesa Karvonen vesak at mlton.org
Fri Nov 2 05:44:49 PST 2007


Removed unnecessary dependencies.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb	2007-11-02 13:41:17 UTC (rev 6115)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb	2007-11-02 13:44:48 UTC (rev 6116)
@@ -4,19 +4,14 @@
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
-local
-   $(MLTON_LIB)/com/ssh/extended-basis/unstable/basis.mlb
-   $(MLTON_LIB)/com/ssh/random/unstable/lib.mlb
-in
-   lib.mlb
+lib.mlb
 
-   (* Order matters: *)
-   with/generic.sml
-   with/eq.sml
-   with/type-hash.sml
-   with/type-info.sml
-   with/hash.sml
-   with/ord.sml
-   with/pretty.sml
-   with/close-pretty-with-extra.sml
-end
+(* Order matters: *)
+with/generic.sml
+with/eq.sml
+with/type-hash.sml
+with/type-info.sml
+with/hash.sml
+with/ord.sml
+with/pretty.sml
+with/close-pretty-with-extra.sml




More information about the MLton-commit mailing list