HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | The size of unit is = 0 bytes. |
| 2 | The size of unit * unit is = 0 bytes. | |
| 3 | The size of bool is = 0 bytes. | |
| 4 | The size of bool * bool is = 16 bytes. | |
| 5 | The size of day is = 0 bytes. | |
| 6 | The size of day * day is = 0 bytes. | |
| 7 | The size of a char is = 0 bytes. | |
| 8 | The size of a char * char is = 0 bytes. | |
| 9 | The size of a word8 is = 0 bytes. | |
| 10 | The size of a word8 * word8 is = 0 bytes. | |
| 11 | The size of a word16 is = 0 bytes. | |
| 12 | The size of a word16 * word16 is = 0 bytes. | |
| 13 | The size of a word32 is = 0 bytes. | |
| 14 | The size of a word32 * word32 is = 16 bytes. | |
| 15 | The size of a word64 is = 0 bytes. | |
| 16 | The size of a word64 * word64 is = 24 bytes. | |
| 17 | The size of a word64 * word64 * word64 is = 32 bytes. | |
| 18 | The size of a word64 * word64 * word64 * word64 is = 40 bytes. | |
| 19 | The size of a unit list of length 4 is = 64 bytes. | |
| 20 | The size of a bool list of length 4 is = 96 bytes. | |
| 21 | The size of a day list of length 4 is = 96 bytes. | |
| 22 | The size of an int list of length 4 is = 96 bytes. | |
| 23 | The size of a string of length 10 is = 40 bytes. | |
| 24 | The size of a word64 array of length 0 is = 24 bytes. | |
| 25 | The size of a word64 array of length 1 is = 32 bytes. | |
| 26 | The size of a word64 array of length 2 is = 40 bytes. | |
| 27 | The size of a word64 array of length 3 is = 48 bytes. | |
| 28 | The size of a word64 array of length 4 is = 56 bytes. | |
| 29 | The size of a word64 array of length 5 is = 64 bytes. | |
| 30 | The size of a word64 array of length 6 is = 72 bytes. | |
| 31 | The size of a word64 array of length 7 is = 80 bytes. | |
| 32 | The size of a word64 array of length 8 is = 88 bytes. | |
| 33 | The size of a word64 array of length 9 is = 96 bytes. | |
| 34 | The size of a word64 array of length 10 is = 104 bytes. | |
| 35 | The size of a word64 array of length 11 is = 112 bytes. | |
| 36 | The size of a word64 array of length 12 is = 120 bytes. | |
| 37 | The size of a word32 array of length 0 is = 24 bytes. | |
| 38 | The size of a word32 array of length 1 is = 32 bytes. | |
| 39 | The size of a word32 array of length 2 is = 32 bytes. | |
| 40 | The size of a word32 array of length 3 is = 40 bytes. | |
| 41 | The size of a word32 array of length 4 is = 40 bytes. | |
| 42 | The size of a word32 array of length 5 is = 48 bytes. | |
| 43 | The size of a word32 array of length 6 is = 48 bytes. | |
| 44 | The size of a word32 array of length 7 is = 56 bytes. | |
| 45 | The size of a word32 array of length 8 is = 56 bytes. | |
| 46 | The size of a word32 array of length 9 is = 64 bytes. | |
| 47 | The size of a word32 array of length 10 is = 64 bytes. | |
| 48 | The size of a word32 array of length 11 is = 72 bytes. | |
| 49 | The size of a word32 array of length 12 is = 72 bytes. | |
| 50 | The size of a word16 array of length 0 is = 24 bytes. | |
| 51 | The size of a word16 array of length 1 is = 32 bytes. | |
| 52 | The size of a word16 array of length 2 is = 32 bytes. | |
| 53 | The size of a word16 array of length 3 is = 32 bytes. | |
| 54 | The size of a word16 array of length 4 is = 32 bytes. | |
| 55 | The size of a word16 array of length 5 is = 40 bytes. | |
| 56 | The size of a word16 array of length 6 is = 40 bytes. | |
| 57 | The size of a word16 array of length 7 is = 40 bytes. | |
| 58 | The size of a word16 array of length 8 is = 40 bytes. | |
| 59 | The size of a word16 array of length 9 is = 48 bytes. | |
| 60 | The size of a word16 array of length 10 is = 48 bytes. | |
| 61 | The size of a word16 array of length 11 is = 48 bytes. | |
| 62 | The size of a word16 array of length 12 is = 48 bytes. | |
| 63 | The size of a word8 array of length 0 is = 24 bytes. | |
| 64 | The size of a word8 array of length 1 is = 32 bytes. | |
| 65 | The size of a word8 array of length 2 is = 32 bytes. | |
| 66 | The size of a word8 array of length 3 is = 32 bytes. | |
| 67 | The size of a word8 array of length 4 is = 32 bytes. | |
| 68 | The size of a word8 array of length 5 is = 32 bytes. | |
| 69 | The size of a word8 array of length 6 is = 32 bytes. | |
| 70 | The size of a word8 array of length 7 is = 32 bytes. | |
| 71 | The size of a word8 array of length 8 is = 32 bytes. | |
| 72 | The size of a word8 array of length 9 is = 40 bytes. | |
| 73 | The size of a word8 array of length 10 is = 40 bytes. | |
| 74 | The size of a word8 array of length 11 is = 40 bytes. | |
| 75 | The size of a word8 array of length 12 is = 40 bytes. | |
| 76 | The size of a unit array of length 0 is = 24 bytes. | |
| 77 | The size of a unit array of length 1 is = 24 bytes. | |
| 78 | The size of a unit array of length 2 is = 24 bytes. | |
| 79 | The size of a unit array of length 3 is = 24 bytes. | |
| 80 | The size of a unit array of length 4 is = 24 bytes. | |
| 81 | The size of a unit array of length 5 is = 24 bytes. | |
| 82 | The size of a unit array of length 6 is = 24 bytes. | |
| 83 | The size of a unit array of length 7 is = 24 bytes. | |
| 84 | The size of a unit array of length 8 is = 24 bytes. | |
| 85 | The size of a unit array of length 9 is = 24 bytes. | |
| 86 | The size of a unit array of length 10 is = 24 bytes. | |
| 87 | The size of a unit array of length 11 is = 24 bytes. | |
| 88 | The size of a unit array of length 12 is = 24 bytes. | |
| 89 | The size of a word64 ref is = 16 bytes. | |
| 90 | The size of a word32 ref is = 16 bytes. | |
| 91 | The size of a word16 ref is = 16 bytes. | |
| 92 | The size of a word8 ref is = 16 bytes. | |
| 93 | The size of a unit ref is = 8 bytes. | |
| 94 | The size of a double array of length 10 is = 104 bytes. | |
| 95 | The size of a (word32 * double) array of length 10 is = 184 bytes. | |
| 96 | The size of a (word32 * word32 * double) array of length 10 is = 184 bytes. | |
| 97 | The size of a (word64 * double) array of length 10 is = 184 bytes. | |
| 98 | The size of a (word16 * double) array of length 10 is = 184 bytes. | |
| 99 | The size of a word64 array of length 10 is = 104 bytes. | |
| 100 | The size of a (word32 * word64) array of length 10 is = 184 bytes. | |
| 101 | The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes. | |
| 102 | The size of a (word64 * word64) array of length 10 is = 184 bytes. | |
| 103 | The size of a (word16 * word64) array of length 10 is = 184 bytes. | |
| 104 | The size of an array of length 10 of 2-ples of ints is = 104 bytes. | |
| 105 | The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes. | |
| 106 | The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes. | |
| 107 | The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes. | |
| 108 | The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes. | |
| 109 | The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes. | |
| 110 | The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes. | |
| 111 | The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes. | |
| 112 | The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes. | |
| 113 | The size of a useless function is = 0 bytes. | |
| 114 | The size of an empty string is = 24 bytes. |