Kauê Hunnicutt Bazilli
Kauê Hunnicutt Bazilli
Yes, `cargo test` should run all tests. We don't have a Prolog formatter (yet), so there's nothing to do in that front. We do use `cargo fmt` though for the...
There are actually a few builtins that are defined in Rust and not in Prolog without a `$` intermediary. They currently don't appear in the documentation which is unfortunate, see...
> [...] otherwise as object-wrapped strings which become bigint on the JS side. In #2825 I just made everything into `BigInt`, but that is just a temporary shortcut. The problem...
Well, serializing small ints as just `100` instead of `{ "type": "integer", "value": 100 }` seems worth the trouble actually.
Also, this works for some reason: ``` ?- call(X +\ p). true. ```
That doesn't seem to be the problem: ```prolog ?- Goal = (X +\ (user:p)), write_canonical(Goal), nl, call(Goal). +\(_43,:(user,p)) Goal = X+\(user:p). ```
What in tarnation!!???? ```prolog ?- [user]. :- use_module(library(lambda)). p. a(\p). ?- G = (\p), call(G). G = \p. ?- a(G), call(G). error(existence_error(procedure,p/0),p/0). ?- a(G0), G = (\p), G0 = G,...
This seems to be working now! Only example in this issue that still doesn't work is this one: ```prolog ?- use_module(library(lambda)). true. ?- [user]. p. ?- asserta((t3 :- call(_+\p))). true....
Of course Windows would fail. (The mystery is why it even passed before)
Oh no, I understand why now. The Windows runners have Git Bash installed, and all the GNU coreutils (like `test` and `rmdir`) in the `PATH`. Stuff like `test -d path_canonical_test...