rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FIXED: instantiation and type check for string arguments

Browse Source 
This addresses #2790.

The issue first appeared in an example reported by @ak-1 in #2788, and
was successfully analyzed by @flexoron. Many thanks!
This commit is contained in:
Markus Triska
2025-01-23 20:18:55 +01:00
parent 00e6e323f8
commit bc0f614bf9
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/format.pl
View File

@@ -1,5 +1,5 @@
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Written 2020-2024 by Markus Triska (triska@metalevel.at) Written 2020-2025 by Markus Triska (triska@metalevel.at)
Part of Scryer Prolog. Part of Scryer Prolog.
I place this code in the public domain. Use it in any way you want. I place this code in the public domain. Use it in any way you want.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
@@ -187,7 +187,8 @@ elements_gluevars([E|Es], N0, N) -->
elements_gluevars(Es, N1, N). elements_gluevars(Es, N1, N).
element_gluevar(chars(Cs), N0, N) --> element_gluevar(chars(Cs), N0, N) -->
{ length(Cs, L), { must_be(chars, Cs),
length(Cs, L),
N is N0 + L }. N is N0 + L }.
element_gluevar(glue(_,V), N, N) --> [V]. element_gluevar(glue(_,V), N, N) --> [V].
element_gluevar(goal(G), N, N) --> { G }. element_gluevar(goal(G), N, N) --> { G }.