]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00e6e32) | patch
FIXED: instantiation and type check for string arguments
authorMarkus Triska <[email protected]>
Thu, 23 Jan 2025 19:18:55 +0000 (20:18 +0100)
committerMarkus Triska <[email protected]>
Thu, 23 Jan 2025 19:18:55 +0000 (20:18 +0100)
commitbc0f614bf934581db71aafd46ea1dd8277300707
treee39d77c7b713449aee06bb26703a37eba87f8076tree | snapshot
parent00e6e323f861cb574dce6350390136ae99df508acommit | diff
FIXED: instantiation and type check for string arguments

This addresses #2790.

The issue first appeared in an example reported by @ak-1 in #2788, and
was successfully analyzed by @flexoron. Many thanks!
src/lib/format.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust