Lines Matching defs:datar
17 let val datar =
20 CharVector.tabulate(Word8Vector.length datar,
21 (fn i => Char.chr(Word8.toInt(Word8Vector.sub(datar,i)))))
27 let val datar = recvStr(sock, 4096) in
28 if String.isSuffix (String.str(Char.chr 0)) datar
30 String.extract(datar, 0, SOME (String.size datar - 1))
32 else if Char.contains datar (Char.chr 0) then
34 else if size datar = 0 then
36 else rec_k(sock, datar::acc)