[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