phoityne / hdx4vsc

Haskell Debugger Extension for Visual Studio Code.
https://marketplace.visualstudio.com/items?itemName=phoityne.phoityne-vscode
BSD 3-Clause "New" or "Revised" License
50 stars 9 forks source link

Debugger quits without stopping at breakpoints or showing a specific error #31

Open ddrenteria opened 1 year ago

ddrenteria commented 1 year ago

Hi! I'm tryng to setup the debugger for crytic/echidna compiling with stack. The debugger is building but it is quitting without an specific error. I already try different versions of stack, and different options for the "ghciCmd". The output of the console shows the following: image

The config used on the debugger is:

{
            "type": "ghc",
            "request": "launch",
            "name": "haskell(stack)",
            "internalConsoleOptions": "openOnSessionStart",
            "workspace": "${workspaceFolder}",
            "startup": "${workspaceFolder}/src/test/Spec.hs",
            "startupFunc": "",
            "startupArgs": "",
            "stopOnEntry": true,
            "mainArgs": "",
            "ghciPrompt": "H>>= ",
            "ghciInitialPrompt": "> ",
            "ghciCmd": "stack ghci --with-ghc=ghci-dap --test --main-is TARGET --extra-include-dirs=/home/usr/.local/include/ --extra-lib-dirs=${workspaceFolder}/libff/build/libff/ --flag echidna:-static",
            "ghciEnv": {},
            "logFile": "${workspaceFolder}/.vscode/phoityne.log",
            "logLevel": "DEBUG",
            "forceInspect": false
        },

Note that we remove the --no-load and --no-build options while we also add specific options and flags necessary for echidna to build.

Here is the log if it helps to understand why the debugger is quitting. phoityne.log

Thx in advance

Versions used: ghc : 8.10.4 stack: 2.9.1, 2.9.3 (tried both) ghci-dap: 0.0.20.0 Haskell-debug-adapter: 0.0.38.0

PS: If you want to try setting up echidna we can send you some instructions that are missing on that repo for the set-up

phoityne commented 1 year ago

Thank you for the report. This could be a bug. I will investigate it. Regards.

ddrenteria commented 1 year ago

Do you want the guide to set-up echidna? Regards :D