Kauê Hunnicutt Bazilli
Kauê Hunnicutt Bazilli
The problem here isn't getting a POSIX-y into the Windows runner, there's many ways to do that. The problem is that `shell/2` behavior is completely dependent on what the user...
I'm aware of this issue. I thought it shouldn't be a problem because the Rust tests run in different processes, [but turns out that's not true!!](https://doc.rust-lang.org/rustc/tests/index.html). As you mentioned though,...
I though `'$skip_max_list'(S,_,Ls0,Ls)` would always guarantee that `length(S, Skipped), append(Skipped, Ls, Ls0)`, is that not the case? ```prolog ?- Ls0 = [1,2|Ls0], sml(S,2,Ls0,Ls), length(Skipped, S), append(Skipped, Ls, Ls0). Ls0 =...
Yep, [the implementation of `nth0/3`](https://github.com/mthom/scryer-prolog/blob/d7d5dfe059bd0d10c9514b54877eb36ed43defdb/src/lib/lists.pl#L381-L391) assumes that `'$skip_max_list'/4` has this property. Look at this for example: ```prolog ?- Ls0 = [1,2|Ls0], between(0, 5, N), nth0(N, Ls0, L). Ls0 = [1,2|Ls0],...
The `Ls` argument of `'$skip_max_list'(S,Max,Ls0,Ls)` being undefined in the case that `Ls0` is an infinite list makes it pretty useless as a building block for predicates that need to deal...
> But consider ambiguous cases like `L = [a,b,a,b|L]`. It is ambiguous, but it's guaranteeable isn't it? In the sense that `'$skip_max_list/4'` can always return something that fits the property...
Any reason why this couldn't just be integrated into `... /0` itself? Doing the `$skip_max_list` doesn't have anything to do with files. I guess we would need this anyway to...
> Integrating it into `... //0` would incur a tiny overhead everywhere [...] Considering the current implementation of `... //0` isn't even optimized, I think the tradeoff is worth it....
> Does anyone have any other issues that should definitely be addressed before the next release? If so, please mention them here. I stress again that, as-is, next release (of...
It must be at least `0.10.0` because of semver. We could go to `0.10.4`, `0.95.0`, `1.0.0` or even `9001.0.0` directly and it would be fine version-wise, `0.10.0` is just the...