informalsystems / themis-contract

A command line-based parameterized contracting tool
Apache License 2.0
45 stars 5 forks source link

themis-contract compile [--update] flag #99

Open zramsay opened 3 years ago

zramsay commented 3 years ago

feature request - the workflow of making a 1st contract entails:

  1. tweak template.md and params.dhall
  2. themis-contract update --no-auto-commit --no-auto-push
  3. themis-contract compile --no-auto-commit --no-auto-push
  4. view pdf

over and over and over.

shonfeder commented 3 years ago

Could you describe what feature you're requesting a bit? E.g., what should --update update?

I think I can infer what you're after here based on the name of the flag and the indication of a suboptimal workflow, but whoever works on this issue in the future may not be able to piece that together.

zramsay commented 3 years ago

for sure. so to avoid running themis-contract update prior to themis-contract compile everytime, the --update flag would pre-run the exact functionality of themis-contract update.

In fact, is there any reason we could do away with the themis-contract update command altogether and just include its functionality by default in the compile command?

AFAICT, if one is running update the logical next command to always be run is compile ... and if you're about to run compile then in almost every case (?) you've just run update.