[MLton-commit] r6173

[Vesa Karvonen]

Don't bother to forget.

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

D   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/forget.use
D   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/forget.use
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/forget.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/forget.use	2007-11-15 10:49:46 UTC (rev 6172)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/forget.use	2007-11-17 17:25:55 UTC (rev 6173)
@@ -1,22 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-UseLib.Trace.disabled
-(fn () =>
-    (app PolyML.Compiler.forgetFunctor
-         ["MkIntInfExt",
-          "MkIntegerExt",
-          "MkRealExt",
-          "MkWordExt",
-          "MkSeqCommonExt",
-          "MkMonoSeqCommonExt",
-          "MkMonoVectorExt",
-          "MkMonoVectorSliceExt",
-          "MkMonoArrayExt",
-          "MkMonoArraySliceExt",
-          "MkTextExt"]
-   ; app PolyML.Compiler.forgetStructure
-         ["Ext"])) ;

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/forget.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/forget.use	2007-11-15 10:49:46 UTC (rev 6172)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/forget.use	2007-11-17 17:25:55 UTC (rev 6173)
@@ -1,7 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(* XXX Is there a way to "forget" top-level bindings in SML/NJ? *)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2007-11-15 10:49:46 UTC (rev 6172)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2007-11-17 17:25:55 UTC (rev 6173)
@@ -161,7 +161,6 @@
              "public/os/os.sig",
              "detail/os/os.sml",
              "detail/concept/mk-word-flags.fun",
-             "detail/ml/${SML_COMPILER}/forget.use",
              "public/export/${SML_COMPILER}.sml",
              "public/export/common.sml",
              "public/export/top-level.sml",