Menu
▾
▴
[MLton-commit] r4763
|
From: Vesa K. <ve...@ml...> - 2006-10-24 10:03:34
|
An almost working port to SML/NJ.
SML/NJ (v110.59) has the wrong spec for fromDecimal in the REAL signature.
So, an attempt to compile with SML/NJ currently gives:
public/export.sml:33.40-34.38 Error: value type in structure doesn't match signature spec
name: embDecimal
spec: (real,?.IEEEReal.decimal_approx) emb
actual: (real -> ?.IEEEReal.decimal_approx)
* (?.IEEEReal.decimal_approx -> real)
public/export.sml:36.40-37.28 Error: value type in structure doesn't match signature spec
name: embDecimal
spec: (real,?.IEEEReal.decimal_approx) emb
actual: (real -> ?.IEEEReal.decimal_approx)
* (?.IEEEReal.decimal_approx -> real)
----------------------------------------------------------------------
A mltonlib/trunk/com/ssh/extended-basis/unstable/basis.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/ints.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vectors.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/reals.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/texts.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/words.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml
----------------------------------------------------------------------
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/basis.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/basis.cm 2006-10-24 16:31:55 UTC (rev 4762)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/basis.cm 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+library
+ library(detail/smlnj/basis-minus-extensions.cm)
+ library(extensions.cm)
+is
+ extensions.cm
+ detail/smlnj/basis-minus-extensions.cm
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm 2006-10-24 16:31:55 UTC (rev 4762)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/basis-minus-extensions.cm 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,10 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+library
+ library($/basis.cm) - library(../../extensions.cm)
+is
+ $/basis.cm
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm 2006-10-24 16:31:55 UTC (rev 4762)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,15 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+group is
+ $/basis.cm
+ ../mk-int-inf-ext.fun
+ ../mk-integer-ext.fun
+ ../mk-mono-array-ext.fun
+ ../mk-mono-vector-ext.fun
+ ../mk-real-ext.fun
+ ../mk-text-ext.fun
+ ../mk-word-ext.fun
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/ints.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/ints.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/ints.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/ints.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,19 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {INTEGER} and {INT_INF} modules for SML/NJ == *)
+
+structure Int = MkIntegerExt (Int)
+structure FixedInt = MkIntegerExt (FixedInt)
+structure LargeInt = MkIntegerExt (LargeInt)
+structure Position = MkIntegerExt (Position)
+
+structure Int31 = MkIntegerExt (Int31)
+structure Int32 = MkIntegerExt (Int32)
+
+structure Int64 = MkIntegerExt (Int64)
+
+structure IntInf = MkIntInfExt (IntInf)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-arrays.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-arrays.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,18 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_ARRAY} modules for SML/NJ == *)
+
+structure RealArray =
+ MkMonoArrayExt (structure MonoArray = RealArray
+ structure MonoVector = RealVector)
+structure Real64Array =
+ MkMonoArrayExt (structure MonoArray = Real64Array
+ structure MonoVector = Real64Vector)
+
+structure Word8Array =
+ MkMonoArrayExt (structure MonoArray = Word8Array
+ structure MonoVector = Word8Vector)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vectors.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vectors.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/mono-vectors.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/mono-vectors.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {MONO_VECTOR} modules for SML/NJ == *)
+
+structure RealVector = MkMonoVectorExt (RealVector)
+structure Real64Vector = MkMonoVectorExt (Real64Vector)
+
+structure Word8Vector = MkMonoVectorExt (Word8Vector)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/reals.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/reals.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/reals.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/reals.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {REAL} modules for SML/NJ == *)
+
+structure Real = MkRealExt (Real)
+
+structure LargeReal = MkRealExt (LargeReal)
+
+structure Real64 = MkRealExt (Real64)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/texts.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/texts.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/texts.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/texts.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {TEXT} modules for SML/NJ == *)
+
+structure Text = MkTextExt (Text)
+structure Char = Text.Char
+structure CharArray = Text.CharArray
+structure CharVector = Text.CharVector
+structure String = Text.String
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-10-24 16:31:55 UTC (rev 4762)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,32 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+group is
+ $/basis.cm
+ ../array.sml
+ ../emb.sml
+ ../iso.sml
+ ../smlnj/ints.sml
+ ../smlnj/mono-arrays.sml
+ ../smlnj/mono-vectors.sml
+ ../smlnj/reals.sml
+ ../smlnj/texts.sml
+ ../smlnj/words.sml
+ ../vector.sml
+ funs.cm
+ ../../public/array.sig
+ ../../public/char.sig
+ ../../public/emb.sig
+ ../../public/int-inf.sig
+ ../../public/integer.sig
+ ../../public/iso.sig
+ ../../public/mono-array.sig
+ ../../public/mono-vector.sig
+ ../../public/real.sig
+ ../../public/string.sig
+ ../../public/text.sig
+ ../../public/vector.sig
+ ../../public/word.sig
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/words.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/words.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mlton/words.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/words.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,18 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Extended {WORD} modules for SML/NJ == *)
+
+structure Word = MkWordExt (Word)
+structure LargeWord = MkWordExt (LargeWord)
+structure SysWord = MkWordExt (SysWord)
+
+structure Word8 = MkWordExt (Word8)
+
+structure Word31 = MkWordExt (Word31)
+structure Word32 = MkWordExt (Word32)
+
+structure Word64 = MkWordExt (Word64)
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm 2006-10-24 16:31:55 UTC (rev 4762)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,13 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+library
+ source(public/export-smlnj.sml)
+ source(public/export.sml)
+is
+ detail/smlnj/unsealed.cm
+ public/export-smlnj.sml
+ public/export.sml
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml (from rev 4759, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml 2006-10-23 23:41:06 UTC (rev 4759)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml 2006-10-24 17:03:24 UTC (rev 4763)
@@ -0,0 +1,22 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == SML/NJ specific extensions == *)
+
+structure FixedInt : INTEGER = FixedInt
+structure Int31 : INTEGER = Int31
+structure Int32 : INTEGER = Int32
+structure Int64 : INTEGER = Int64
+structure IntInf : INT_INF = IntInf
+structure Real64 : REAL = Real64
+structure Real64Array : MONO_ARRAY = Real64Array
+structure Real64Vector : MONO_VECTOR = Real64Vector
+structure RealArray : MONO_ARRAY = RealArray
+structure RealVector : MONO_VECTOR = RealVector
+structure SysWord : WORD = SysWord
+structure Word31 : WORD = Word31
+structure Word32 : WORD = Word32
+structure Word64 : WORD = Word64
|
