The pop-up window for errors doesn't contain proper error message

anoma / vscode-juvix

VSCode extension for Juvix

GNU General Public License v3.0

3 stars 2 forks source link

Open lukaszcz opened 1 year ago

lukaszcz commented 1 year ago

It should describe the error.

jonaprieto commented 2 months ago

lukaszcz commented 2 months ago

Still doesn't work for typechecking:

lukaszcz commented 2 months ago

I'd expect the error message

The expression kvListl has type:
  List (Pair Bytes32 Bytes)
but is expected to have type:
  Transaction

to be in the pop-up window

jonaprieto commented 2 months ago

Oh. Very true.