[developers] Bug in interactive unification

[Guy Emerson]

Hi Stephan,

The command is:

process_complete_command(): `avm 1 ZERO "zero - expanded"
 '

YZLUI: Received unknown lkb-protocol top-level command: AVM

Best,
Guy

Am Mi., 11. Nov. 2020 um 16:57 Uhr schrieb Stephan Oepen <oe at ifi.uio.no>:

> hi guy,
>
> > I also get this behaviour (no LUI window appearing) if I try to display
> a type that has no features (obviously, this isn't a useful display on its
> own, but it would be helpful for interactive unification to be able to drag
> and drop the type).  The log file says:
> >
> > YZLUI: Received unknown lkb-protocol top-level command: AVM
>
> could you send the complete log output, i.e. including the 'avm'
> command that LUI fails to recognize?
>
> oe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20201111/04642768/attachment.html>