github.com/mikpe.pdp10-tools
1
0
Fork 0
mirror of https://github.com/mikpe/pdp10-tools.git synced 2026-03-10 12:48:31 +00:00
Code Issues Projects Releases Wiki Activity

pdp10_stdio:fseek/2: correct -spec

Browse Source
This commit is contained in:
Mikael Pettersson
2019-02-24 13:35:38 +01:00
parent d394dc856a
commit b37c24d009
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
erlang/apps/lib/src/pdp10_stdio.erl
View File

@@ -132,8 +132,7 @@ fputc(Nonet, #file{pid = Pid}) ->
fwrite(Nonets, #file{pid = Pid}) ->
gen_server:call(Pid, {fwrite, Nonets}, infinity).
-spec fseek(#file{}, file:location())
-> {ok, non_neg_integer()} | {error, any()}.
-spec fseek(#file{}, file:location()) -> ok | {error, any()}.
fseek(#file{pid = Pid}, Location) ->
gen_server:call(Pid, {fseek, Location}, infinity).