HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | (* Copyright (C) 2017 Matthew Fluet. |
| 2 | * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh | |
| 3 | * Jagannathan, and Stephen Weeks. | |
| 4 | * Copyright (C) 1997-2000 NEC Research Institute. | |
| 5 | * | |
| 6 | * MLton is released under a BSD-style license. | |
| 7 | * See the file MLton-LICENSE for details. | |
| 8 | *) | |
| 9 | ||
| 10 | open Basis2002 | |
| 11 | ||
| 12 | (* Rebind some structures so that their definitions appear later, so that they | |
| 13 | * will be used for displaying tycon names. | |
| 14 | * | |
| 15 | * Order here matters! Do not alphabetize or otherwise reorder without thinking. | |
| 16 | *) | |
| 17 | structure Posix = Posix | |
| 18 | structure OS = OS | |
| 19 | structure BoolArray = BoolArray | |
| 20 | structure BoolArray2 = BoolArray2 | |
| 21 | structure BoolVector = BoolVector | |
| 22 | structure CharArraySlice = CharArraySlice | |
| 23 | structure CharArray = CharArray | |
| 24 | structure CharArray2 = CharArray2 | |
| 25 | structure Int8Array = Int8Array | |
| 26 | structure Int8Array2 = Int8Array2 | |
| 27 | structure Int8Vector = Int8Vector | |
| 28 | structure Int16Array = Int16Array | |
| 29 | structure Int16Array2 = Int16Array2 | |
| 30 | structure Int16Vector = Int16Vector | |
| 31 | structure Int32Array = Int32Array | |
| 32 | structure Int32Array2 = Int32Array2 | |
| 33 | structure Int32Vector = Int32Vector | |
| 34 | structure Int64Array = Int64Array | |
| 35 | structure Int64Array2 = Int64Array2 | |
| 36 | structure Int64Vector = Int64Vector | |
| 37 | structure IntArray = IntArray | |
| 38 | structure IntArray2 = IntArray2 | |
| 39 | structure IntVector = IntVector | |
| 40 | structure LargeIntArray = LargeIntArray | |
| 41 | structure LargeIntArray2 = LargeIntArray2 | |
| 42 | structure LargeIntVector = LargeIntVector | |
| 43 | structure LargeRealArray = LargeRealArray | |
| 44 | structure LargeRealArray2 = LargeRealArray2 | |
| 45 | structure LargeRealVector = LargeRealVector | |
| 46 | structure LargeWordArray = LargeWordArray | |
| 47 | structure LargeWordArray2 = LargeWordArray2 | |
| 48 | structure LargeWordVector = LargeWordVector | |
| 49 | structure Real32Array = Real32Array | |
| 50 | structure Real32Array2 = Real32Array2 | |
| 51 | structure Real32Vector = Real32Vector | |
| 52 | structure Real64Array = Real64Array | |
| 53 | structure Real64Array2 = Real64Array2 | |
| 54 | structure Real64Vector = Real64Vector | |
| 55 | structure RealArray = RealArray | |
| 56 | structure RealArray2 = RealArray2 | |
| 57 | structure RealVector = RealVector | |
| 58 | structure Word8Array = Word8Array | |
| 59 | structure Word8Array2 = Word8Array2 | |
| 60 | structure Word8Vector = Word8Vector | |
| 61 | structure Word16Array = Word16Array | |
| 62 | structure Word16Array2 = Word16Array2 | |
| 63 | structure Word16Vector = Word16Vector | |
| 64 | structure Word32Array = Word32Array | |
| 65 | structure Word32Array2 = Word32Array2 | |
| 66 | structure Word32Vector = Word32Vector | |
| 67 | structure Word64Array = Word64Array | |
| 68 | structure Word64Array2 = Word64Array2 | |
| 69 | structure Word64Vector = Word64Vector | |
| 70 | structure WordArray = WordArray | |
| 71 | structure WordArray2 = WordArray2 | |
| 72 | structure WordVector = WordVector | |
| 73 | structure Array = Array | |
| 74 | structure Array2 = Array2 | |
| 75 | structure Vector = Vector | |
| 76 | structure Int8 = Int8 | |
| 77 | structure Int16 = Int16 | |
| 78 | structure Int32 = Int32 | |
| 79 | structure Int64 = Int64 | |
| 80 | structure IntInf = IntInf | |
| 81 | structure LargeInt = LargeInt | |
| 82 | structure Int = Int | |
| 83 | structure Real32 = Real32 | |
| 84 | structure Real64 = Real64 | |
| 85 | structure LargeReal = LargeReal | |
| 86 | structure Real = Real | |
| 87 | structure Word8 = Word8 | |
| 88 | structure Word16 = Word16 | |
| 89 | structure Word32 = Word32 | |
| 90 | structure Word64 = Word64 | |
| 91 | structure LargeWord = LargeWord | |
| 92 | structure Word = Word |