[MLton] cvs commit: exposed the types of {Int,Word}{8,16,32,64} using where

sweeks@mlton.org sweeks@mlton.org
Sun, 16 Nov 2003 12:20:20 -0800


sweeks      03/11/16 12:20:20

  Modified:    basis-library/libs/basis-2002/top-level basis.sig
  Log:
  They need to be exposed so that constants can be overloaded at these
  types.  This fixes the problem that Matthew saw with overloaded
  constants not being resolved correctly.

Revision  Changes    Path
1.22      +8 -2      mlton/basis-library/libs/basis-2002/top-level/basis.sig

Index: basis.sig
===================================================================
RCS file: /cvsroot/mlton/mlton/basis-library/libs/basis-2002/top-level/basis.sig,v
retrieving revision 1.21
retrieving revision 1.22
diff -u -r1.21 -r1.22
--- basis.sig	14 Nov 2003 03:48:17 -0000	1.21
+++ basis.sig	16 Nov 2003 20:20:20 -0000	1.22
@@ -394,6 +394,7 @@
       sharing type Int16VectorSlice.vector = Int16Vector.vector
       sharing type Int16Array2.elem = Int16.int
       sharing type Int16Array2.vector = Int16Vector.vector
+      sharing type Int32.int = Int.int
       sharing type Int32Array.elem = Int32.int
       sharing type Int32Array.vector = Int32Vector.vector
       sharing type Int32ArraySlice.elem = Int32.int
@@ -554,7 +555,10 @@
    where type BinPrimIO.reader = BinPrimIO.reader
    where type BinPrimIO.writer = BinPrimIO.writer
    where type Char.char = Char.char
-   where type Int.int = Int.int
+   where type Int8.int = Int8.int
+   where type Int16.int = Int16.int
+   where type Int32.int = Int32.int
+   where type Int64.int = Int64.int
    where type IntInf.int = IntInf.int
    where type LargeInt.int = LargeInt.int
    where type LargeReal.real = LargeReal.real
@@ -587,8 +591,10 @@
    where type TextPrimIO.reader = TextPrimIO.reader
    where type TextPrimIO.writer = TextPrimIO.writer
    where type Time.time = Time.time
-   where type Word.word = Word.word
    where type Word8.word = Word8.word
+   where type Word16.word = Word16.word
+   where type Word32.word = Word32.word
+   where type Word64.word = Word64.word
    where type Word8Array.array = Word8Array.array
    where type Word8ArraySlice.slice = Word8ArraySlice.slice
    where type Word8ArraySlice.vector_slice = Word8ArraySlice.vector_slice