regression/basis-sharing.sml

   1 val id = fn x => x
   2
   3 val _ = fn () => (()
   4
   5 ; id: 'a Array.array -> 'a array
   6 ; id: 'a Array.vector -> 'a vector
   7 ; id: BinIO.StreamIO.elem -> Word8.word
   8 ; id: BinIO.StreamIO.pos -> BinPrimIO.pos
   9 ; id: BinIO.StreamIO.reader -> BinPrimIO.reader
  10 ; id: BinIO.StreamIO.vector -> Word8Vector.vector
  11 ; id: BinIO.StreamIO.writer -> BinPrimIO.writer
  12 ; id: BinPrimIO.array -> Word8Array.array
  13 ; id: BinPrimIO.elem -> Word8.word
  14 ; id: BinPrimIO.pos -> Position.int
  15 ; id: BinPrimIO.vector -> Word8Vector.vector
  16 ; id: Bool.bool -> bool
  17 ; id: BoolArray.elem -> Bool.bool
  18 ; id: BoolArray.vector -> BoolVector.vector
  19 ; id: BoolArray2.elem -> Bool.bool
  20 ; id: BoolArray2.vector -> BoolVector.vector
  21 ; id: BoolArraySlice.array -> BoolArray.array
  22 ; id: BoolArraySlice.elem -> Bool.bool
  23 ; id: BoolArraySlice.vector -> BoolVector.vector
  24 ; id: BoolArraySlice.vector_slice -> BoolVectorSlice.slice
  25 ; id: BoolVector.elem -> Bool.bool
  26 ; id: BoolVectorSlice.elem -> BoolVector.elem
  27 ; id: BoolVectorSlice.vector -> BoolVector.vector
  28 ; id: Char.char -> char
  29 ; id: Char.string -> String.string
  30 ; id: CharArray.elem -> Char.char
  31 ; id: CharArray.vector -> CharVector.vector
  32 ; id: CharArray2.elem -> Char.char
  33 ; id: CharArray2.vector -> CharVector.vector
  34 ; id: CharArraySlice.array -> CharArray.array
  35 ; id: CharArraySlice.elem -> Char.char
  36 ; id: CharArraySlice.vector -> CharVector.vector
  37 ; id: CharArraySlice.vector_slice -> CharVectorSlice.slice
  38 ; id: CharVector.elem -> Char.char
  39 ; id: CharVector.vector -> String.string
  40 ; id: CharVectorSlice.elem -> char
  41 ; id: CharVectorSlice.slice -> Substring.substring
  42 ; id: CharVectorSlice.vector -> String.string
  43 ; id: General.exn -> exn
  44 ; id: INetSock.dgram_sock -> Socket.dgram INetSock.sock
  45 ; id: INetSock.sock_addr -> INetSock.inet Socket.sock_addr
  46 ; id: 'sock_type INetSock.sock -> (INetSock.inet, 'sock_type) Socket.sock
  47 ; id: 'mode INetSock.stream_sock -> 'mode Socket.stream INetSock.sock
  48 ; id: Int16Array.elem -> Int16.int
  49 ; id: Int16Array.vector -> Int16Vector.vector
  50 ; id: Int16Array2.elem -> Int16.int
  51 ; id: Int16Array2.vector -> Int16Vector.vector
  52 ; id: Int16ArraySlice.array -> Int16Array.array
  53 ; id: Int16ArraySlice.elem -> Int16.int
  54 ; id: Int16ArraySlice.vector -> Int16Vector.vector
  55 ; id: Int16ArraySlice.vector_slice -> Int16VectorSlice.slice
  56 ; id: Int16Vector.elem -> Int16.int
  57 ; id: Int16VectorSlice.elem -> Int16Vector.elem
  58 ; id: Int16VectorSlice.vector -> Int16Vector.vector
  59 ; id: Int32Array.elem -> Int32.int
  60 ; id: Int32Array.vector -> Int32Vector.vector
  61 ; id: Int32Array2.elem -> Int32.int
  62 ; id: Int32Array2.vector -> Int32Vector.vector
  63 ; id: Int32ArraySlice.array -> Int32Array.array
  64 ; id: Int32ArraySlice.elem -> Int32.int
  65 ; id: Int32ArraySlice.vector -> Int32Vector.vector
  66 ; id: Int32ArraySlice.vector_slice -> Int32VectorSlice.slice
  67 ; id: Int32Vector.elem -> Int32.int
  68 ; id: Int32VectorSlice.elem -> Int32Vector.elem
  69 ; id: Int32VectorSlice.vector -> Int32Vector.vector
  70 ; id: Int64Array.elem -> Int64.int
  71 ; id: Int64Array.vector -> Int64Vector.vector
  72 ; id: Int64Array2.elem -> Int64.int
  73 ; id: Int64Array2.vector -> Int64Vector.vector
  74 ; id: Int64ArraySlice.array -> Int64Array.array
  75 ; id: Int64ArraySlice.elem -> Int64.int
  76 ; id: Int64ArraySlice.vector -> Int64Vector.vector
  77 ; id: Int64ArraySlice.vector_slice -> Int64VectorSlice.slice
  78 ; id: Int64Vector.elem -> Int64.int
  79 ; id: Int64VectorSlice.elem -> Int64Vector.elem
  80 ; id: Int64VectorSlice.vector -> Int64Vector.vector
  81 ; id: Int8Array.elem -> Int8.int
  82 ; id: Int8Array.vector -> Int8Vector.vector
  83 ; id: Int8Array2.elem -> Int8.int
  84 ; id: Int8Array2.vector -> Int8Vector.vector
  85 ; id: Int8ArraySlice.array -> Int8Array.array
  86 ; id: Int8ArraySlice.elem -> Int8.int
  87 ; id: Int8ArraySlice.vector -> Int8Vector.vector
  88 ; id: Int8ArraySlice.vector_slice -> Int8VectorSlice.slice
  89 ; id: Int8Vector.elem -> Int8.int
  90 ; id: Int8VectorSlice.elem -> Int8Vector.elem
  91 ; id: Int8VectorSlice.vector -> Int8Vector.vector
  92 ; id: IntArray.elem -> Int.int
  93 ; id: IntArray.vector -> IntVector.vector
  94 ; id: IntArray2.elem -> Int.int
  95 ; id: IntArray2.vector -> IntVector.vector
  96 ; id: IntArraySlice.array -> IntArray.array
  97 ; id: IntArraySlice.elem -> Int.int
  98 ; id: IntArraySlice.vector -> IntVector.vector
  99 ; id: IntArraySlice.vector_slice -> IntVectorSlice.slice
 100 ; id: IntVector.elem -> Int.int
 101 ; id: IntVectorSlice.elem -> IntVector.elem
 102 ; id: IntVectorSlice.vector -> IntVector.vector
 103 ; id: LargeIntArray.elem -> LargeInt.int
 104 ; id: LargeIntArray.vector -> LargeIntVector.vector
 105 ; id: LargeIntArray2.elem -> LargeInt.int
 106 ; id: LargeIntArray2.vector -> LargeIntVector.vector
 107 ; id: LargeIntArraySlice.array -> LargeIntArray.array
 108 ; id: LargeIntArraySlice.elem -> LargeInt.int
 109 ; id: LargeIntArraySlice.vector -> LargeIntVector.vector
 110 ; id: LargeIntArraySlice.vector_slice -> LargeIntVectorSlice.slice
 111 ; id: LargeIntVector.elem -> LargeInt.int
 112 ; id: LargeIntVectorSlice.elem -> LargeIntVector.elem
 113 ; id: LargeIntVectorSlice.vector -> LargeIntVector.vector
 114 ; id: LargeRealArray.elem -> LargeReal.real
 115 ; id: LargeRealArray.vector -> LargeRealVector.vector
 116 ; id: LargeRealArray2.elem -> LargeReal.real
 117 ; id: LargeRealArray2.vector -> LargeRealVector.vector
 118 ; id: LargeRealArraySlice.array -> LargeRealArray.array
 119 ; id: LargeRealArraySlice.elem -> LargeReal.real
 120 ; id: LargeRealArraySlice.vector -> LargeRealVector.vector
 121 ; id: LargeRealArraySlice.vector_slice -> LargeRealVectorSlice.slice
 122 ; id: LargeRealVector.elem -> LargeReal.real
 123 ; id: LargeRealVectorSlice.elem -> LargeRealVector.elem
 124 ; id: LargeRealVectorSlice.vector -> LargeRealVector.vector
 125 ; id: LargeWordArray.elem -> LargeWord.word
 126 ; id: LargeWordArray.vector -> LargeWordVector.vector
 127 ; id: LargeWordArray2.elem -> LargeWord.word
 128 ; id: LargeWordArray2.vector -> LargeWordVector.vector
 129 ; id: LargeWordArraySlice.array -> LargeWordArray.array
 130 ; id: LargeWordArraySlice.elem -> LargeWord.word
 131 ; id: LargeWordArraySlice.vector -> LargeWordVector.vector
 132 ; id: LargeWordArraySlice.vector_slice -> LargeWordVectorSlice.slice
 133 ; id: LargeWordVector.elem -> LargeWord.word
 134 ; id: LargeWordVectorSlice.elem -> LargeWordVector.elem
 135 ; id: LargeWordVectorSlice.vector -> LargeWordVector.vector
 136 ; id: 'a List.list -> 'a list
 137 ; id: Math.real -> Real.real
 138 ; id: 'a Option.option -> 'a option
 139 ; id: PackReal32Big.real -> Real32.real
 140 ; id: PackReal32Little.real -> Real32.real
 141 ; id: PackReal64Big.real -> Real64.real
 142 ; id: PackReal64Little.real -> Real64.real
 143 ; id: PackRealBig.real -> Real.real
 144 ; id: PackRealLittle.real -> Real.real
 145 ; id: Posix.Error.syserror -> OS.syserror
 146 ; id: Posix.FileSys.file_desc -> Posix.ProcEnv.file_desc
 147 ; id: Posix.FileSys.gid -> Posix.ProcEnv.gid
 148 ; id: Posix.FileSys.uid -> Posix.ProcEnv.uid
 149 ; id: Posix.IO.file_desc -> Posix.ProcEnv.file_desc
 150 ; id: Posix.IO.open_mode -> Posix.FileSys.open_mode
 151 ; id: Posix.IO.pid -> Posix.Process.pid
 152 ; id: Posix.ProcEnv.pid -> Posix.Process.pid
 153 ; id: Posix.Process.signal -> Posix.Signal.signal
 154 ; id: Posix.SysDB.gid -> Posix.ProcEnv.gid
 155 ; id: Posix.SysDB.uid -> Posix.ProcEnv.uid
 156 ; id: Posix.TTY.file_desc -> Posix.ProcEnv.file_desc
 157 ; id: Posix.TTY.pid -> Posix.Process.pid
 158 ; id: Real.real -> real
 159 ; id: Real32Array.elem -> Real32.real
 160 ; id: Real32Array.vector -> Real32Vector.vector
 161 ; id: Real32Array2.elem -> Real32.real
 162 ; id: Real32Array2.vector -> Real32Vector.vector
 163 ; id: Real32ArraySlice.array -> Real32Array.array
 164 ; id: Real32ArraySlice.elem -> Real32.real
 165 ; id: Real32ArraySlice.vector -> Real32Vector.vector
 166 ; id: Real32ArraySlice.vector_slice -> Real32VectorSlice.slice
 167 ; id: Real32Vector.elem -> Real32.real
 168 ; id: Real32VectorSlice.elem -> Real32Vector.elem
 169 ; id: Real32VectorSlice.vector -> Real32Vector.vector
 170 ; id: Real64Array.elem -> Real64.real
 171 ; id: Real64Array.vector -> Real64Vector.vector
 172 ; id: Real64Array2.elem -> Real64.real
 173 ; id: Real64Array2.vector -> Real64Vector.vector
 174 ; id: Real64ArraySlice.array -> Real64Array.array
 175 ; id: Real64ArraySlice.elem -> Real64.real
 176 ; id: Real64ArraySlice.vector -> Real64Vector.vector
 177 ; id: Real64ArraySlice.vector_slice -> Real64VectorSlice.slice
 178 ; id: Real64Vector.elem -> Real64.real
 179 ; id: Real64VectorSlice.elem -> Real64Vector.elem
 180 ; id: Real64VectorSlice.vector -> Real64Vector.vector
 181 ; id: RealArray.elem -> Real.real
 182 ; id: RealArray.vector -> RealVector.vector
 183 ; id: RealArray2.elem -> Real.real
 184 ; id: RealArray2.vector -> RealVector.vector
 185 ; id: RealArraySlice.array -> RealArray.array
 186 ; id: RealArraySlice.elem -> Real.real
 187 ; id: RealArraySlice.vector -> RealVector.vector
 188 ; id: RealArraySlice.vector_slice -> RealVectorSlice.slice
 189 ; id: RealVector.elem -> Real.real
 190 ; id: RealVectorSlice.elem -> RealVector.elem
 191 ; id: RealVectorSlice.vector -> RealVector.vector
 192 ; id: String.char -> Char.char
 193 ; id: String.string -> CharVector.vector
 194 ; id: String.string -> string
 195 ; id: Substring.char -> Char.char
 196 ; id: Substring.string -> String.string
 197 ; id: Substring.substring -> CharVectorSlice.slice
 198 ; id: Text.Char.char -> Char.char
 199 ; id: Text.Char.char -> Text.CharArray.elem
 200 ; id: Text.Char.char -> Text.CharArraySlice.elem
 201 ; id: Text.Char.char -> Text.CharVector.elem
 202 ; id: Text.Char.char -> Text.CharVectorSlice.elem
 203 ; id: Text.Char.char -> Text.String.char
 204 ; id: Text.Char.char -> Text.Substring.char
 205 ; id: Text.Char.string -> Text.CharArray.vector
 206 ; id: Text.Char.string -> Text.CharArraySlice.vector
 207 ; id: Text.Char.string -> Text.CharVector.vector
 208 ; id: Text.Char.string -> Text.CharVectorSlice.vector
 209 ; id: Text.Char.string -> Text.String.string
 210 ; id: Text.Char.string -> Text.Substring.string
 211 ; id: Text.CharArray.array -> CharArray.array
 212 ; id: Text.CharArray.array -> Text.CharArraySlice.array
 213 ; id: Text.CharArraySlice.array -> Text.CharArray.array
 214 ; id: Text.CharArraySlice.slice -> CharArraySlice.slice
 215 ; id: Text.CharArraySlice.vector_slice -> Text.CharVectorSlice.slice
 216 ; id: Text.CharVector.vector -> CharVector.vector
 217 ; id: Text.CharVectorSlice.slice -> CharVectorSlice.slice
 218 ; id: Text.CharVectorSlice.slice -> Text.CharArraySlice.vector_slice
 219 ; id: Text.String.string -> String.string
 220 ; id: Text.Substring.substring -> Substring.substring
 221 ; id: TextIO.StreamIO.pos -> TextPrimIO.pos
 222 ; id: TextIO.StreamIO.reader -> TextPrimIO.reader
 223 ; id: TextIO.StreamIO.writer -> TextPrimIO.writer
 224 ; id: TextPrimIO.array -> CharArray.array
 225 ; id: TextPrimIO.elem -> Char.char
 226 ; id: TextPrimIO.vector -> CharVector.vector
 227 ; id: UnixSock.dgram_sock -> Socket.dgram UnixSock.sock
 228 ; id: UnixSock.sock_addr -> UnixSock.unix Socket.sock_addr
 229 ; id: 'sock_type UnixSock.sock -> (UnixSock.unix, 'sock_type) Socket.sock
 230 ; id: 'mode UnixSock.stream_sock -> 'mode Socket.stream UnixSock.sock
 231 ; id: 'a Vector.vector -> 'a vector
 232 ; id: Word.word -> word
 233 ; id: Word16Array.elem -> Word16.word
 234 ; id: Word16Array.vector -> Word16Vector.vector
 235 ; id: Word16Array2.elem -> Word16.word
 236 ; id: Word16Array2.vector -> Word16Vector.vector
 237 ; id: Word16ArraySlice.array -> Word16Array.array
 238 ; id: Word16ArraySlice.elem -> Word16.word
 239 ; id: Word16ArraySlice.vector -> Word16Vector.vector
 240 ; id: Word16ArraySlice.vector_slice -> Word16VectorSlice.slice
 241 ; id: Word16Vector.elem -> Word16.word
 242 ; id: Word16VectorSlice.elem -> Word16Vector.elem
 243 ; id: Word16VectorSlice.vector -> Word16Vector.vector
 244 ; id: Word32Array.elem -> Word32.word
 245 ; id: Word32Array.vector -> Word32Vector.vector
 246 ; id: Word32Array2.elem -> Word32.word
 247 ; id: Word32Array2.vector -> Word32Vector.vector
 248 ; id: Word32ArraySlice.array -> Word32Array.array
 249 ; id: Word32ArraySlice.elem -> Word32.word
 250 ; id: Word32ArraySlice.vector -> Word32Vector.vector
 251 ; id: Word32ArraySlice.vector_slice -> Word32VectorSlice.slice
 252 ; id: Word32Vector.elem -> Word32.word
 253 ; id: Word32VectorSlice.elem -> Word32Vector.elem
 254 ; id: Word32VectorSlice.vector -> Word32Vector.vector
 255 ; id: Word64Array.elem -> Word64.word
 256 ; id: Word64Array.vector -> Word64Vector.vector
 257 ; id: Word64Array2.elem -> Word64.word
 258 ; id: Word64Array2.vector -> Word64Vector.vector
 259 ; id: Word64ArraySlice.array -> Word64Array.array
 260 ; id: Word64ArraySlice.elem -> Word64.word
 261 ; id: Word64ArraySlice.vector -> Word64Vector.vector
 262 ; id: Word64ArraySlice.vector_slice -> Word64VectorSlice.slice
 263 ; id: Word64Vector.elem -> Word64.word
 264 ; id: Word64VectorSlice.elem -> Word64Vector.elem
 265 ; id: Word64VectorSlice.vector -> Word64Vector.vector
 266 ; id: Word8Array.elem -> Word8.word
 267 ; id: Word8Array.vector -> Word8Vector.vector
 268 ; id: Word8Array2.elem -> Word8.word
 269 ; id: Word8Array2.vector -> Word8Vector.vector
 270 ; id: Word8ArraySlice.array -> Word8Array.array
 271 ; id: Word8ArraySlice.elem -> Word8.word
 272 ; id: Word8ArraySlice.vector -> Word8Vector.vector
 273 ; id: Word8ArraySlice.vector_slice -> Word8VectorSlice.slice
 274 ; id: Word8Vector.elem -> Word8.word
 275 ; id: Word8VectorSlice.elem -> Word8Vector.elem
 276 ; id: Word8VectorSlice.vector -> Word8Vector.vector
 277 ; id: WordArray.elem -> Word.word
 278 ; id: WordArray.vector -> WordVector.vector
 279 ; id: WordArray2.elem -> Word.word
 280 ; id: WordArray2.vector -> WordVector.vector
 281 ; id: WordArraySlice.array -> WordArray.array
 282 ; id: WordArraySlice.elem -> Word.word
 283 ; id: WordArraySlice.vector -> WordVector.vector
 284 ; id: WordArraySlice.vector_slice -> WordVectorSlice.slice
 285 ; id: WordVector.elem -> Word.word
 286 ; id: WordVectorSlice.elem -> WordVector.elem
 287 ; id: WordVectorSlice.vector -> WordVector.vector
 288
 289    (* ; id: WideChar.string -> WideString.string
 290  * ; id: WideCharArray.elem -> WideChar.char
 291  * ; id: WideCharArray.vector -> WideCharVector.vector
 292  * ; id: WideCharArray2.elem -> WideChar.char
 293  * ; id: WideCharArray2.vector -> WideCharVector.vector
 294  * ; id: WideCharArraySlice.array -> WideCharArray.array
 295  * ; id: WideCharArraySlice.elem -> WideChar.char
 296  * ; id: WideCharArraySlice.vector -> WideCharVector.vector
 297  * ; id: WideCharArraySlice.vector_slice -> WideCharVectorSlice.slice
 298  * ; id: WideCharVector.elem -> WideChar.char
 299  * ; id: WideCharVector.vector -> WideString.string
 300  * ; id: WideCharVectorSlice.elem -> WideCharVector.elem
 301  * ; id: WideCharVectorSlice.vector -> WideCharVector.vector
 302  * ; id: WideString.string -> WideCharVector.vector
 303  * ; id: WideString.type char -> WideChar.char
 304  * ; id: WideSubstring.char -> WideChar.char
 305  * ; id: WideSubstring.string -> WideString.string
 306  * ; id: WideSubstring.substring -> WideCharVectorSlice.slice
 307  * ; id: WideText.Char.char -> WideChar.char
 308  * ; id: WideText.CharArray.array -> WideCharArray.array
 309  * ; id: WideText.CharArraySlice.slice -> WideCharArraySlice.slice
 310  * ; id: WideText.CharVector.vector -> WideCharVector.vector
 311  * ; id: WideText.CharVectorSlice.slice -> WideCharVectorSlice.slice
 312  * ; id: WideText.String.string -> WideString.string
 313  * ; id: WideText.Substring.substring -> WideSubstring.substring
 314  * ; id: WideTextPrimIO.array -> WideCharArray.array
 315  * ; id: WideTextPrimIO.elem -> WideChar.char
 316  * ; id: WideTextPrimIO.vector -> WideCharVector.vector
 317  *)
 318
 319 )