[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