Mark Thom
Mark Thom
Not sure if it helps with the lack of recursive type support in wit-bindgen but I am in the process of removing `Term` entirely from Scryer.
I think the rug library returns an Option here because of what it says at [this link](https://gmplib.org/manual/Integer-Logic-and-Bit-Fiddling).. namely, if the integer is less than 0, then the integer is considered...
@shinmao I tried to address some of these criticisms in https://github.com/mthom/scryer-prolog/pull/2393 if you don't mind taking a look and perhaps making further suggestions for improvement.
Very nice, I'd just started to look at this.
This happens because meta-predicate definitions are hidden behind modules. The user module is global but all other modules, including dcgs, are local, so they don't inform goal expansion at the...
Rust uses the ryu crate to print floating point numbers to strings quickly but I'm not sure if there is an equivalent for numbers. perhaps @cmpute could advise?
I'm not sure what a satisfactory solution for #2454 should look like but I am hesitant to detect it from `goal_expansion` like we do for dcgs. It may make more...
> I don't have much time this weekend, I'll take a fresh look into the code next week probably and will see what it takes generate code that will issue...
Quite eager to merge this myself but yes, let's await @UWN's feedback
is this ready to merge?