Lines Matching refs:buff
774 fun fromCstring buff =
779 fun sLen i = if get8(buff, i) = 0w0 then i else sLen(i+0w1)
782 Char.chr(Word8.toInt(get8(buff, Word.fromInt i)))
815 val buff = malloc (Word.fromInt(realLength+1))
816 val _ = f(buff, realLength) handle ex => (free buff; raise ex)
818 fromCstring buff before free buff
837 val buff = malloc (Word.fromInt(initialSize+1))
839 f(buff, initialSize) handle ex => (free buff; raise ex)
843 fromCstring buff before free buff
844 else ( free buff; doCall(initialSize + initialSize div 2) )
896 fun fromCWord8vec (buff, length) =
897 Word8Vector.tabulate(length, fn i => Memory.get8(buff, Word.fromInt i))