[MLton-commit] r4846
Vesa Karvonen
vesak at mlton.org
Mon Nov 20 06:22:57 PST 2006
Almost working build files for SML/NJ.
Compilation (with v110.59) gives the errors:
public/export.sml:97.29-98.34 Error: unmatched value specification: unfoldi
public/export.sml:97.29-98.34 Error: unmatched value specification: toList
public/export.sml:97.29-98.34 Error: unmatched value specification: isoList
public/export.sml:105.66-106.34 Error: unmatched value specification: map
public/export.sml:105.66-106.34 Error: unmatched type specification: univ
public/export.sml:105.66-106.34 Error: unmatched type specification: u
public/export.sml:105.66-106.34 Error: unmatched value specification: polymorphically
This looks like a bug in SML/NJ, because simply moving the Vector and
Writer structure bindings in export.sml before all the other structure
bindings makes compilation finish without errors.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/bootstrap.cm
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml 2006-11-20 12:03:09 UTC (rev 4845)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/bootstrap.sml 2006-11-20 14:22:54 UTC (rev 4846)
@@ -41,6 +41,7 @@
structure Thunk = struct type 'a t = Unit.t -> 'a end
structure UnOp = struct type 'a t = 'a -> 'a end
structure UnPr = struct type 'a t = 'a -> Bool.t end
+structure Fix = struct type 'a t = 'a UnOp.t -> 'a end
structure Reader = struct type ('a, 'b) t = 'b -> ('a * 'b) Option.t end
structure Writer = struct type ('a, 'b) t = 'a * 'b -> 'b end
structure Cmp = struct type 'a t = 'a Sq.t -> Order.t end
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/bootstrap.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/bootstrap.cm 2006-11-20 12:03:09 UTC (rev 4845)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/bootstrap.cm 2006-11-20 14:22:54 UTC (rev 4846)
@@ -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.
+ *)
+
+group
+ library(workarounds/basis.cm)
+ source(-)
+is
+ ../bootstrap.sml
+ workarounds/basis.cm
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm 2006-11-20 12:03:09 UTC (rev 4845)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/funs.cm 2006-11-20 14:22:54 UTC (rev 4846)
@@ -4,7 +4,10 @@
* See the file MLton-LICENSE for details.
*)
-group is
+group
+ group(bootstrap.cm)
+ source(-)
+is
../mk-int-inf-ext.fun
../mk-integer-ext.fun
../mk-mono-array-ext.fun
@@ -16,4 +19,4 @@
../mk-seq-common-ext.fun
../mk-text-ext.fun
../mk-word-ext.fun
- workarounds/basis.cm
+ bootstrap.cm
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm 2006-11-20 12:03:09 UTC (rev 4845)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm 2006-11-20 14:22:54 UTC (rev 4846)
@@ -0,0 +1,55 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+group
+ group(funs.cm)
+ source(-)
+is
+ ../../public/array-slice.sig
+ ../../public/array.sig
+ ../../public/bin-op.sig
+ ../../public/bin-pr.sig
+ ../../public/bool.sig
+ ../../public/buffer.sig
+ ../../public/char.sig
+ ../../public/cmp.sig
+ ../../public/effect.sig
+ ../../public/emb.sig
+ ../../public/exit.sig
+ ../../public/fix.sig
+ ../../public/fn.sig
+ ../../public/int-inf.sig
+ ../../public/integer.sig
+ ../../public/iso.sig
+ ../../public/list.sig
+ ../../public/mono-array-slice.sig
+ ../../public/mono-array.sig
+ ../../public/mono-vector-slice.sig
+ ../../public/mono-vector.sig
+ ../../public/option.sig
+ ../../public/order.sig
+ ../../public/pair.sig
+ ../../public/product-type.sig
+ ../../public/product.sig
+ ../../public/reader.sig
+ ../../public/real.sig
+ ../../public/ref.sig
+ ../../public/sq.sig
+ ../../public/string.sig
+ ../../public/substring.sig
+ ../../public/sum.sig
+ ../../public/text.sig
+ ../../public/thunk.sig
+ ../../public/tie.sig
+ ../../public/un-op.sig
+ ../../public/un-pr.sig
+ ../../public/unit.sig
+ ../../public/univ.sig
+ ../../public/vector-slice.sig
+ ../../public/vector.sig
+ ../../public/word.sig
+ ../../public/writer.sig
+ funs.cm
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-11-20 12:03:09 UTC (rev 4845)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-11-20 14:22:54 UTC (rev 4846)
@@ -4,36 +4,32 @@
* See the file MLton-LICENSE for details.
*)
-group is
- ../../public/array-slice.sig
- ../../public/array.sig
- ../../public/bool.sig
- ../../public/char.sig
- ../../public/emb.sig
- ../../public/int-inf.sig
- ../../public/integer.sig
- ../../public/iso.sig
- ../../public/list.sig
- ../../public/mono-array-slice.sig
- ../../public/mono-array.sig
- ../../public/mono-vector-slice.sig
- ../../public/mono-vector.sig
- ../../public/option.sig
- ../../public/real.sig
- ../../public/string.sig
- ../../public/substring.sig
- ../../public/text.sig
- ../../public/vector-slice.sig
- ../../public/vector.sig
- ../../public/word.sig
+group
+ group(sigs.cm)
+ source(-)
+is
../array-slice.sml
../array.sml
+ ../bin-op.sml
+ ../bin-pr.sml
../bool.sml
- ../common.sml
+ ../buffer.sml
+ ../cmp.sml
+ ../common-mono-seqs.sml
+ ../common-scalars.sml
+ ../effect.sml
../emb.sml
+ ../exit.sml
+ ../fix.sml
+ ../fn.sml
../iso.sml
../list.sml
../option.sml
+ ../order.sml
+ ../pair.sml
+ ../product.sml
+ ../reader.sml
+ ../ref.sml
../smlnj/ints.sml
../smlnj/mono-array-slices.sml
../smlnj/mono-arrays.sml
@@ -41,7 +37,14 @@
../smlnj/mono-vectors.sml
../smlnj/reals.sml
../smlnj/words.sml
+ ../sq.sml
+ ../sum.sml
+ ../thunk.sml
+ ../tie.sml
+ ../un-op.sml
+ ../un-pr.sml
+ ../univ.sml
../vector-slice.sml
../vector.sml
- funs.cm
- workarounds/basis.cm
+ ../writer.sml
+ sigs.cm
More information about the MLton-commit
mailing list