You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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-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 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.The text was updated successfully, but these errors were encountered: