[MLton-commit] r4440

[Matthew Fluet]

Type checking errors
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/Makefile
U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/build/sources.mlb
U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis-sigs.sml
U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/mlton.mlb
U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/real/real-global.sml

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

Modified: mlton/branches/on-20050822-x86_64-branch/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/Makefile	2006-05-03 03:03:50 UTC (rev 4439)
+++ mlton/branches/on-20050822-x86_64-branch/Makefile	2006-05-03 03:18:11 UTC (rev 4440)
@@ -222,7 +222,14 @@
 mlbpathmap:
 	touch $(MLBPATHMAP)
 	( echo 'MLTON_ROOT $$(LIB_MLTON_DIR)/sml';	\
-	 echo 'SML_LIB $$(LIB_MLTON_DIR)/sml' ) 	\
+	  echo 'SML_LIB $$(LIB_MLTON_DIR)/sml';		\
+	  echo 'OBJPTR_REP objptr-rep32.sml';		\
+	  echo 'HEADER_WORD header-word32.sml';		\
+	  echo 'SEQ_INDEX seqindex-int32.sml';		\
+	  echo 'DEFAULT_CHAR default-char8.sml';	\
+	  echo 'DEFAULT_INT default-int32.sml';		\
+	  echo 'DEFAULT_REAL default-real64.sml';	\
+	  echo 'DEFAULT_WORD default-word32.sml'; ) 	\
 		>>$(MLBPATHMAP).tmp
 	mv $(MLBPATHMAP).tmp $(MLBPATHMAP)
 

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/build/sources.mlb
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/build/sources.mlb	2006-05-03 03:03:50 UTC (rev 4439)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/build/sources.mlb	2006-05-03 03:18:11 UTC (rev 4440)
@@ -180,8 +180,6 @@
    ../real/math.sig
    ../real/real.sig
    ../real/real.sml
-   ../real/pack-real.sig
-   ../real/pack-real.sml
    local 
       ../config/bind/real-top.sml 
    in ann "forceUsed" in
@@ -189,6 +187,8 @@
       ../config/default/large-real.sml
    end end
    ../real/real-global.sml
+   ../real/pack-real.sig
+   ../real/pack-real.sml
    local 
       ../config/bind/int-top.sml 
       (* ../config/bind/pointer-prim.sml *)

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis-sigs.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis-sigs.sml	2006-05-03 03:03:50 UTC (rev 4439)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis-sigs.sml	2006-05-03 03:18:11 UTC (rev 4440)
@@ -101,7 +101,7 @@
 signature MLTON_RLIMIT = MLTON_RLIMIT
 signature MLTON_RUSAGE = MLTON_RUSAGE
 signature MLTON_SIGNAL = MLTON_SIGNAL
-signature MLTON_SOCKET = MLTON_SOCKET
+(* signature MLTON_SOCKET = MLTON_SOCKET *)
 signature MLTON_SYSLOG = MLTON_SYSLOG
 signature MLTON_TEXT_IO = MLTON_TEXT_IO
 signature MLTON_THREAD = MLTON_THREAD

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/mlton.mlb
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/mlton.mlb	2006-05-03 03:03:50 UTC (rev 4439)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/mlton.mlb	2006-05-03 03:18:11 UTC (rev 4440)
@@ -33,7 +33,7 @@
       signature MLTON_RLIMIT
       signature MLTON_RUSAGE
       signature MLTON_SIGNAL
-      signature MLTON_SOCKET
+      (* signature MLTON_SOCKET *)
       signature MLTON_SYSLOG
       signature MLTON_TEXT_IO
       signature MLTON_THREAD

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/real/real-global.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/real/real-global.sml	2006-05-03 03:03:50 UTC (rev 4439)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/real/real-global.sml	2006-05-03 03:18:11 UTC (rev 4440)
@@ -6,5 +6,6 @@
  * See the file MLton-LICENSE for details.
  *)
 
+val real = Real.fromInt
 structure RealGlobal: REAL_GLOBAL = Real
 open RealGlobal