[m-rev.] for review: Add --trans-opt-deps-spec option.
Peter Wang
novalazy at gmail.com
Fri Jan 13 11:43:35 AEDT 2023
On Fri, 13 Jan 2023 02:20:59 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>
> 2023-01-12 15:14 GMT+11:00 "Zoltan Somogyi" <zoltan.somogyi at runbox.com>:
> >> +read_trans_opt_deps_spec_file(FileName, Result, !IO) :-
> >> + io.read_named_file_as_string(FileName, ReadResult, !IO),
> >> + (
> >> + ReadResult = ok(Contents),
> >> + string.length(Contents, ContentsLen),
> >> + StartPos = posn(1, 0, 0),
> >
> > I will look into defining a function in the library to return this tuple,
> > so people won't have to figure out the numbers each time they write
> > code like this.
>
> The attached diff does this. Is this worth adding to io.m?
I think so.
Peter
More information about the reviews
mailing list