dariusf / ppx_debug-vscode

ppx_debug + VSCode

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ppx_debug + VSCode

This extension is able to load traces recorded using ppx_debug and provides a UI like that of an interactive debugger.

ppx_debug.mov

Select Load trace and pick debugger.json to get started.

Keys Action
Shift Alt Cmd Step back
Shift Alt Cmd Step forward
Shift Alt Cmd Run forward to this point
Shift Alt Cmd Run backwards to this point

Installation

This extension is in early development, so it's not currently on the VSCode marketplace.

See the CI config for how to build it, or download a recent vsix from the CI artifacts.

Development

git clone git@github.com:dariusf/vscode-mock-debug.git
git remote add upstream git@github.com:microsoft/vscode-mock-debug.git

# update
git fetch upstream main
git merge upstream/main

# develop
code .
# press F5

# release
make

About

ppx_debug + VSCode

License:Other


Languages

Language:TypeScript 94.2%Language:OCaml 5.7%Language:Makefile 0.1%