diff options
Diffstat (limited to 'lib/shell/init.nom')
| -rw-r--r-- | lib/shell/init.nom | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/lib/shell/init.nom b/lib/shell/init.nom index 13dc675..be72c9f 100644 --- a/lib/shell/init.nom +++ b/lib/shell/init.nom @@ -28,8 +28,5 @@ external: "Command failure: Command `\($cmd)` was terminated by signal \$return" ### Attach callsite information for better error reporting - (=sh $cmd) compiles to - ("Action" tree with "at" ("Text" tree with "\($cmd.source)") "=" "sh" $cmd) as lua - - (sh> $cmd) compiles to - ("Action" tree with "at" ("Text" tree with "\($cmd.source)") "sh" ">" $cmd) as lua
\ No newline at end of file + (=sh $cmd) compiles to `(at `("Text" tree with "\($cmd.source)") =sh `$cmd) + (sh> $cmd) compiles to `(at `("Text" tree with "\($cmd.source)") sh> `$cmd) |