[MLton-commit] r4919

[Vesa Karvonen]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml	2006-12-10 19:09:02 UTC (rev 4918)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml	2006-12-10 19:09:10 UTC (rev 4919)
@@ -1,20 +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.
- *)
-
-(** == Poly/ML specific extensions == *)
-
-structure BoolArray : MONO_ARRAY = BoolArray
-structure BoolVector : MONO_VECTOR = BoolVector
-structure IntArray : MONO_ARRAY = IntArray
-structure IntArraySlice : MONO_ARRAY_SLICE = IntArraySlice
-structure IntVector : MONO_VECTOR = IntVector
-structure IntVectorSlice : MONO_VECTOR_SLICE = IntVectorSlice
-structure RealArray : MONO_ARRAY = RealArray
-structure RealArraySlice : MONO_ARRAY_SLICE = RealArraySlice
-structure RealVector : MONO_VECTOR = RealVector
-structure RealVectorSlice : MONO_VECTOR_SLICE = RealVectorSlice
-structure SysWord : WORD = SysWord
-structure Word8Vector : MONO_VECTOR = Word8Vector