polyml/basis/LibrarySupport.sml

29     val wordSize : word = RunCall.bytesPerWord
32     val sysWordSize: word = RunCall.memoryCellLength(Word.toLargeWord 0w0) * wordSize
40         datatype array = Array of word*address
44         datatype array = Array of word*address
46         val wVecLength: vector -> word
50     val wordSize: word and sysWordSize: word
52     val allocString: word -> string (* Create a mutable string. *)
53     val allocBytes: word -> address
56     val unsignedShortOrRaiseSubscript: int -> word
57     val unsignedShortOrRaiseSize: int -> word
58     val sizeAsWord      : string -> word
61     val maxAllocation: word
62     and maxString: word
63     val emptyVector: word
67     val syserrorToWord: syserror -> LargeWord.word
68     val syserrorFromWord : LargeWord.word -> syserror
77     val volatileWordRef: unit -> word ref
93     (* This is always a short non-negative integer so can be cast as word or int. *)
94     fun sizeAsWord(s: string): word = RunCall.loadUntagged(s, 0w0)
101         datatype array = Array of word*address
107         datatype array = Array of word*address
113         val wVecLength: vector -> word = sizeAsWord
128         val F_mutable_bytes : word = 0wx41
130         val setLengthWord: string * word -> unit = fn (s, n) => RunCall.storeUntagged(s, 0w0, n)
149         fun unsignedShortOrRaiseSize (i: int): word =
154         fun unsignedShortOrRaiseSubscript (i: int): word =
161             val words : word =
165                    maximum array size because strings have a length word.
169             (* Zero the last word. *)
176         (* Allocate store for the string and set the first word to contain
180                 (* The space is the number of characters plus space for the length word
182                 val words : word = (charsW + 0w2 * wordSize - 0w1) div wordSize
190                 (* Set the length word.  Since this is untagged we can't simply
211     val emptyVector: word = RunCall.allocateWordMemory(0w0, 0w0, 0w0)
217     (* syserror is the same as SysWord.word and these are needed in Posix at least. *)
218     type syserror = LargeWord.word