hevm: document emacs integration

dapphub / dapptools

Dapp, Seth, Hevm, and more

https://dapp.tools

2.1k stars 325 forks source link

hevm: document emacs integration #430

Open MrChico opened 4 years ago

MrChico commented 4 years ago

It's seems to be a pretty cool feature but I have no idea how it works. Maybe @mbrock or @livnev could share some of their secret knowledge about this.

livnev commented 4 years ago

Basically an hevm server is started with hevm emacs, which is a REPL that takes commands in an s-expression DSL and responds with data in s-expressions. Emacs then speaks to this server using comint-mode. It uses this to implement some similar functionality to hevm interactive but using emacs for display.

mbrock commented 4 years ago

The easiest way to try it is to

have hevm in your $PATH
do M-x load-file and point out dapptools/src/hevm/hevm.el
do M-x hevm in a dapp source root.

Commands available:

  '(("n" . hevm-do-step-once)
    ("N" . hevm-do-step-to-next-source-location)
    ("!" . hevm-do-step-to-file-line)
    ("c" . hevm-browse-contracts)
    ("q" . quit-window))

MrChico commented 3 years ago

hmm, not sure if it's currently globally broken or just for me, but I'm getting:

Hevm started.
Unknown Hevm output: (error)

at M-x hevm