In catala-language-server, we use ATD type definitions to exchange data between a compiler plugin and the UI ; but the UI itself is split in two sections (an outer 'shell' that can acces the vs code API, and an inner webview that is restricted to sending and receiving messages from its parent).
It seems that, although complex (JSON-able) structures can be passed by message passing, in doing so, we lose all type info.
We should investigate replacing messages.ts in the current catala test UI code by ATD-generated code that would come with the appropriate parsing and serializing functions
In catala-language-server, we use ATD type definitions to exchange data between a compiler plugin and the UI ; but the UI itself is split in two sections (an outer 'shell' that can acces the vs code API, and an inner webview that is restricted to sending and receiving messages from its parent).
It seems that, although complex (JSON-able) structures can be passed by message passing, in doing so, we lose all type info.
We should investigate replacing
messages.tsin the current catala test UI code by ATD-generated code that would come with the appropriate parsing and serializing functions