oh, whoops, sorry bout that. I did not check what the email autocompleted to.
On 10/14/22, Jan-Pieter Jacobs <janpieter.jac...@gmail.com> wrote:
> I think you intended to send this to a different forum/mailinglist… It's
> for sure no J ;).
>
> Cheers,
> Jan-Pieter
>
> On Fri, 14 Oct 2022, 12:38 Razetime, <rraghu.11...@gmail.com> wrote:
>
>> Currently I have these two predicates in my program that I think I can
>> make deterministic.
>>
>> :- pred entry(list(string)::in, list(int)::out) is det.
>> entry(Dirs, Out) :-
>> map((pred(X::in, [L,R]::out) is det :-
>> split(X, 1, L, R)),
>> Dirs, Spl),
>> foldl2((pred([T, B]::in, D::in, Ds::out, P::in, Ps::out) is det :-
>> rot(T, D, Ds),
>> BI = string.det_to_int(B),
>> map((pred(X::in, Y::out) is det :- Y = X*BI), Ds, Dso),
>> map_corresponding((pred(X::in, Y::in, Z::out) is det :- Z
>> = X+Y), P, Dso, Ps)
>> ), Spl, [0, 1], _, [0, 0], Out).
>>
>> :- pred rot(string::in, list(int)::in, list(int)::out) is det.
>> rot("L", [X, Y], [A, B]) :-
>> A = -Y,
>> B = X.
>> rot("R", [X, Y], [A, B]) :-
>> A = Y,
>> B = -X.
>>
>> I'm having trouble with both of these since they're giving me problems
>> with determinism inference:
>>
>> a01.m:017: In `entry'(in, out):
>> a01.m:017: Determinism error in lambda expression.
>> a01.m:017: Declared `det', inferred `semidet''.
>> a01.m:017: In argument 1 of clause head:
>> a01.m:017: in argument 2 of functor `[|]/2':
>> a01.m:017: in argument 2 of functor `[|]/2':
>> a01.m:017: unification with `list.[]' can fail.
>> a01.m:017: In argument 1 of clause head:
>> a01.m:017: in argument 2 of functor `[|]/2':
>> a01.m:017: unification with `list.[B | V_35]' can fail.
>> a01.m:017: In argument 1 of clause head:
>> a01.m:017: unification of `LambdaHeadVar__1' and `list.[T | V_34]' can
>> fail.
>> a01.m:024: In `rot'(in, in, out):
>> a01.m:024: error: determinism declaration not satisfied.
>> a01.m:024: Declared `det', inferred `semidet'.
>> a01.m:024: The reasons for the difference are the following.
>> a01.m:025: The switch on HeadVar__1 can fail.
>> a01.m:025: In argument 2 of clause head:
>> a01.m:025: in argument 2 of functor `[|]/2':
>> a01.m:025: in argument 2 of functor `[|]/2':
>> a01.m:025: unification with `list.[]' can fail.
>> a01.m:025: In argument 2 of clause head:
>> a01.m:025: in argument 2 of functor `[|]/2':
>> a01.m:025: unification with `list.[V_23 | V_22]' can fail.
>> a01.m:025: In argument 2 of clause head:
>> a01.m:025: unification of `HeadVar__2' and `list.[V_21 | V_20]' can
>> fail.
>>
>> how do i make sure that these functions that use a pattern match are
>> det? Adding a branch with ; for the error cases makes it multi, but I
>> want to know how i can make it return a single value for every set of
>> arguments.
>> ----------------------------------------------------------------------
>> For information about J forums see http://www.jsoftware.com/forums.htm
>>
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
