Scryer-prolog: Hexadecimal escape sequences sometimes cannot be parsed

Created on 8 May 2020  Â·  5Comments  Â·  Source: mthom/scryer-prolog

For example:

?- Cs = "\x2124\".
caught: error(syntax_error(cannot_parse_big_int),read_term/2:0)

Expected: Cs = "ℤ"..

This arose in the discussion of #459. I am filing this as its own issue since it can be tackled independently. This may be an interesting issue for new contributors.

Most helpful comment

PR opened on prolog_parser! https://github.com/mthom/prolog_parser/pull/8

All 5 comments

I think this is in prolog_parser, I should be able to implement that relatively easily!

I would greatly appreciate it, thank you a lot!

This is even more important since such escape sequences already appear in answers, for example:

?- atom_codes(A, [8484]).
   A = '\x2124\'.

Currently, this cannot be pasted back.

PR opened on prolog_parser! https://github.com/mthom/prolog_parser/pull/8

This is awesome, thank you a lot!

Was this page helpful?
0 / 5 - 0 ratings

Related issues

triska picture triska  Â·  3Comments

triska picture triska  Â·  3Comments

triska picture triska  Â·  4Comments

UWN picture UWN  Â·  3Comments

cduret picture cduret  Â·  4Comments