[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