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

Merge pull request #2792 from triska/must_be_chars

Browse Source 
FIXED: instantiation and type check for string arguments
This commit is contained in:
Mark Thom
2025-02-27 21:26:40 -08:00
committed by GitHub
parent aeacccbe4c bc0f614bf9
commit c9a0f3332e
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 }.