@huw I think for the Go to Definition feature to work, your code has to compile at least once. After that, Go to Definition should work as advertised, and it does for me on MacOS.
An easy way to check whether compilation has finished it to see whether the “Script View” appears above a Daml Script. If that appears and Go to Definition still doesn’t work, I think you are running into a bug.
Could you test this:
- In a fresh project (created from
daml new, write the script
t = do
x <- allocateParty "foo"
- Wait for the Script View to appear
- Right click on
allocateParty and hit “Go to Definition”
If that works, we need to see why your own project doesn’t. If it doesn’t work, we have a more fundamental issue, possibly OS-related, that we need to explore.