search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

Debug hover on variables evaluates incorrectly when variable has a ' suffix #178

Closed AaronBuhagiar closed 2 years ago

AaronBuhagiar commented 2 years ago

Hi,

I noticed in the VSCode debugger tools when I hover over variables whose name ends with ', the context hover evaluates to the value of the variable without the '. The gif below shows this issue in action.

vdm

AaronBuhagiar commented 2 years ago

Noticed that this issue was already pointed out previously, however it seems that it has not yet made it to the current release of the extension on VSCode store. Is the fix available in the dev version?

FrederikPM commented 2 years ago

Hi, There is a fix but it is not yet in the development version. However, it will be merged soon. I will report back here when it has been merged.

AaronBuhagiar commented 2 years ago

Hi Frederik,

Thanks for the information

FrederikPM commented 2 years ago

Hi Aaron, The fix has now been merged into development and will be part of the next release.

AaronBuhagiar commented 2 years ago

Hi Aaron, The fix has now been merged into development and will be part of the next release.

Great News! Thanks for the update