github.com/mikpe.pdp10-tools
1
0
Fork 0
mirror of https://github.com/mikpe/pdp10-tools.git synced 2026-03-01 09:41:01 +00:00
Code Issues Projects Releases Wiki Activity

pdp10_stdio: define and export the location/0 type ourselves

Browse Source
This commit is contained in:
Mikael Pettersson
2023-07-10 18:18:14 +02:00
parent b5582022a9
commit 3317fa16aa
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -89,7 +89,16 @@
-record(file, {pid :: pid()}).
-type file() :: #file{}.
%% The file module defines but doesn't export the location/0 type. Starting with
%% OTP-26 dialyzer considers references to unknown types as errors by default,
%% causing the build to fail. This is a verbatim copy of the type from OTP-26.
%% See https://github.com/erlang/otp/issues/7485.
-type location() :: integer() | {'bof', Offset :: integer()}
| {'cur', Offset :: integer()}
| {'eof', Offset :: integer()} | 'bof' | 'cur' | 'eof'.
-export_type([ file/0
, location/0
]).
-record(state,
@@ -139,7 +148,7 @@ fputc(Nonet, #file{pid = Pid}) ->
fputs(Nonets, #file{pid = Pid}) ->
gen_server:call(Pid, {fputs, Nonets}, infinity).
-spec fseek(file(), file:location()) -> ok | {error, {module(), term()}}.
-spec fseek(file(), location()) -> ok | {error, {module(), term()}}.
fseek(#file{pid = Pid}, Location) ->
gen_server:call(Pid, {fseek, Location}, infinity).