HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
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 | ) |