Quoting of strings may be needed
Closed this issue · 3 comments
triska commented
Example:
?- Cs = "hello". error(syntax_error(incomplete_reduction),read_term/3:3).
aarroyoc commented
Yes, it was needed. Thanks for noticing!
triska commented
Awesome, thank you! You can make Scryer use double quoted lists for string by using the write option double_quotes(true)
!
aarroyoc commented
Now, I also set double_quotes(true)
in write_term/2