polyml/basis/Foreign.sml

27         val volatileRef: SysWord.word -> volatileRef
28         val setVolatileRef: volatileRef * SysWord.word -> unit
29         val getVolatileRef: volatileRef -> SysWord.word
32         val voidStar2Sysword: voidStar -> SysWord.word
33         val sysWord2VoidStar: SysWord.word -> voidStar
36         val ++ : voidStar * word -> voidStar
37         val -- : voidStar * word -> voidStar
46         val malloc: word -> voidStar
52         val alloca: word * (voidStar -> 'a) -> 'a
54         val get8:  voidStar * Word.word -> Word8.word
55         val get16: voidStar * Word.word -> Word.word
56         val get32: voidStar * Word.word -> Word32.word
57         val get64: voidStar * Word.word -> SysWord.word
58         val set8:  voidStar * Word.word * Word8.word -> unit
59         val set16: voidStar * Word.word * Word.word -> unit
60         val set32: voidStar * Word.word * Word32.word -> unit
61         val set64: voidStar * Word.word * SysWord.word -> unit
63         val getFloat:   voidStar * Word.word -> real
64         val getDouble:  voidStar * Word.word -> real
65         val setFloat:   voidStar * Word.word * real -> unit
66         val setDouble:  voidStar * Word.word * real -> unit
68         val getAddress: voidStar * Word.word -> voidStar
69         val setAddress: voidStar * Word.word * voidStar -> unit
88         val getLastError: unit -> SysWord.word
89         val setLastError: SysWord.word -> unit
90         val fromWord: SysWord.word -> syserror
91         and toWord: syserror -> SysWord.word
125         withtype cType = { typeForm: cTypeForm, align: word, size: word }
189     val cUchar: Word8.word conversion
473         (* Create an external symbol object.  The first word of this is filled in with the
480         (* An external symbol is a memory cell containing the value in the first word
481            followed by the symbol name.  Because the first word is the value it can
482            be treated as a Sysword.word value.
500             fun getLastError(): SysWord.word =
509         val setLastError: SysWord.word -> unit = RunCall.rtsCallFast1 "PolyFFISetError"
553         withtype cType = { typeForm: cTypeForm, align: word, size: word }
578             (* Pointer - this is the same as the size of SysWord.word. *)
617                     val functionCaller: LargeWord.word * LargeWord.word * LargeWord.word -> unit =
700             (* Uchar - convert as Word8.word. *)
701             fun load(m: voidStar): Word8.word = get8(m, 0w0)
702             fun store(m: voidStar, i: Word8.word) = (set8(m, 0w0, i); fn _ => ())
704             val cUchar: Word8.word conversion =
718             (* Because the word length is greater than the length returned by
2677     (* A closure is now a "closure cell" (in 32-in-64) or a single word cell containing
2679        a SysWord.word except that the code can be garbage-collected if the cell is no