diff options
| author | Alasdair | 2019-02-06 23:08:48 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-06 23:08:48 +0000 |
| commit | ddaf05544d182bd75471ce307458daf417c9e17f (patch) | |
| tree | d3101591badba8b943c9ffd1e06189387f713386 /.merlin | |
| parent | cd6466eef8a7cb878010f5d9c6f6349606393bb1 (diff) | |
Emacs mode understands relationships between Sail files
Allow a file sail.json in the same directory as the sail source file
which contains the ordering and options needed for sail files involved
in a specific ISA definition. I have an example for v8.5 in sail-arm.
The interactive Sail process running within emacs then knows about the
relationship between Sail files, so C-c C-l works for files in the ARM
spec. Also added a C-c C-x command to jump to a type error. Requires
yojson library to build interactive Sail.
Diffstat (limited to '.merlin')
| -rw-r--r-- | .merlin | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,4 +9,4 @@ S src/lem_interp/** S src/pprint/** S src/test/** B src/_build/** -PKG num str unix uint zarith linksem lem omd linenoise
\ No newline at end of file +PKG num str unix uint zarith linksem lem omd linenoise yojson |