search

rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

REPL: Better error messages and other utilities #594

Closed Alasdair closed 1 week ago

Alasdair commented 1 week ago

Using the LSP file buffers introduced previously we can implement a special file Sail_file.interactive_repl that corresponds to the commands entered into the REPL. The error formatting code can then use this for better errors in the REPL.

Add an :edit command that opens an editor to provide longer commands

github-actions[bot] commented 1 week ago

Test Results

    9 files  ±0     20 suites  ±0   0s :stopwatch: ±0s   649 tests ±0    649 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 076 runs  ±0  2 075 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 3ae0cfd0. ± Comparison against base commit 387771d6.

:recycle: This comment has been updated with latest results.