[MLton-commit] r4461

[Matthew Fluet]

Relaxing type constraints
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sig
U   mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sml

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sig
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sig	2006-05-05 02:48:10 UTC (rev 4460)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sig	2006-05-06 02:31:26 UTC (rev 4461)
@@ -362,10 +362,6 @@
       sharing type list = List.list
 *)
 
-      sharing type int = Int32.int
-      (* sharing type real = Real64.real *)
-      sharing type word = Word32.word
-
       (* Required structures *)
 (*
       sharing type BinIO.StreamIO.elem = Word8.word 
@@ -644,11 +640,13 @@
    where type 'a vector = 'a vector
    where type char = char
    where type exn = exn
+   where type int = int
    where type order = order
    where type real = real
    where type string = string
    where type substring = substring
    where type unit = unit
+   where type word = word
 
    (* Types referenced in signatures by structure name *)
 (*

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sml	2006-05-05 02:48:10 UTC (rev 4460)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library.refactor/libs/basis-extra/top-level/basis.sml	2006-05-06 02:31:26 UTC (rev 4461)
@@ -256,7 +256,6 @@
            OptionGlobal
            RealGlobal
            StringGlobal
-           RealGlobal
            SubstringGlobal
            TextIOGlobal
            VectorGlobal