Markus Triska
Markus Triska
For instance, even `chars_utf8bytes/2` (chars instantiated) should be bootstrappable with this and should even become much faster: open the string as binary, read it as bytes!
The options must be useable to specify the type (text or binary) of the resulting stream. In this way, we can access the encoded bytes directly, and also get Unicode...
In the original design, what was supposed to be the source of the memory stream, i.e., where did the characters come from? (The original predicate only had a single argument,...
You can use `open/3` to open a file with `type(binary)` to test it!
Thank you a lot for this interesting contribution! My hope was that with this building-block, we can bootstrap **`chars_utf8bytes/2`** by "opening" the characters (which Scryer stores in UTF-8 encoding) as...
It seems `predicate_property/2` would be a good candidate for inclusion in the standard? A good starting point is a comparison table that shows commonalities among existing implementations, and also parts where they...
Yes indeed, it's in Part 2, I initially overlooked it!
Please make sure to consider existing discussion about `public/1`, notably https://github.com/mthom/scryer-prolog/issues/403#issuecomment-619568564.
Regarding phrasings such as "a flag that allows us to break with the spec", I note for example: 5.5.8 Flags A processor may support one or more additional flags (7.11)...
`(;)/2` is no doubt the context in which such a mistake is most likely to be encountered and would be most useful to detect.