Hello, I am using an M2 Macbook with Ventura 13.0 and Scryer Prolog, compiled from source (from commit 4da646252b46aa2cd1b46603acca7a57b9348e1e).
With the following source file:
hello(a).
hello(b).
%% ?- hello(X). <-- cursor here
Placing the point after a query (at the indicated location) and invoking ediprolog-dwim will lock the UI. (Note the string <-- cursor here isn't there in the original file.) After this you can exit with C-g but no ediprolog-provided functions work anymore. Typing ; or . does not work as it does on other platforms.
This is what *ediprolog-temp* shows:
Based on this output I thought it was an encoding issue, so I tried to fix the error using set-buffer-process-coding-system and trying a few different values such as utf-8-mac, utf-8-dos, etc. But nothing I tried worked. I would do more debugging but I'm unsure what component (Scryer, Emacs, ediprolog, or macOS) is causing the issue.
Hello, I am using an M2 Macbook with Ventura 13.0 and Scryer Prolog, compiled from source (from commit
4da646252b46aa2cd1b46603acca7a57b9348e1e).With the following source file:
Placing the point after a query (at the indicated location) and invoking
ediprolog-dwimwill lock the UI. (Note the string<-- cursor hereisn't there in the original file.) After this you can exit with C-g but no ediprolog-provided functions work anymore. Typing;or.does not work as it does on other platforms.This is what
*ediprolog-temp*shows:Based on this output I thought it was an encoding issue, so I tried to fix the error using
set-buffer-process-coding-systemand trying a few different values such asutf-8-mac,utf-8-dos, etc. But nothing I tried worked. I would do more debugging but I'm unsure what component (Scryer, Emacs, ediprolog, or macOS) is causing the issue.