[developers] lui: no unification result of failure

[John Carroll]

Hi Olga,

I think lui would normally open a new feature structure window showing the unification result. But that doesn't happen in the video. Unfortunately I can only help if the problem is on the lkb side.

Could you try doing the same drag again, either in logon/ubuntu or lkb-fos started from a terminal session - but before the drag execute the following at the lisp prompt:

(trace lkb::lsp-retrieve-object lkb::debug-yadu!)

During/after the drag do you now get any output in the terminal window? There should be 2 calls to the former function and 1 call to the latter, all returning normally.

John


On 12 Sep 2020, at 20:08, Olga Zamaraeva <olzama at uw.edu<mailto:olzama at uw.edu>> wrote:

Dear Developers,

Have you seen this behavior? (10 seconds video; basically, in some cases, there is no unification result or failure, just no visible reaction on the unification attempt)

https://youtu.be/Ifqn1iAodSg<https://youtu.be/Ifqn1iAodSg>

Am I using the software wrong somehow (how? can you tell?), or is this a bug?

I tried this with LKB FOS with the latest maclui but also with logon on ubuntu.


Thanks!
--
Olga Zamaraeva

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20200912/bd77b040/attachment.html>