diff options
author | NanoTech | 2016-12-11 23:28:18 -0600 |
---|---|---|
committer | NanoTech | 2017-03-10 23:48:30 -0600 |
commit | 9d737ee11959bc2ec7563ac004637ce04160bcd4 (patch) | |
tree | b5ed610460abd14b7671826aaf971810cecf8612 | |
parent | 5c00b978b0bc0c1eeb64682cba6aa338fea320bf (diff) |
Output comparison script
-rwxr-xr-x | compare.fish | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/compare.fish b/compare.fish new file mode 100755 index 0000000..154f06a --- /dev/null +++ b/compare.fish @@ -0,0 +1,9 @@ +#!/usr/bin/env fish + +set dhall_hs_path ../dhall +set dhall_hs $dhall_hs_path/.stack-work/install/**/bin/dhall +set dhall_rs target/debug/dhall +set input_file $argv[1] +diff -u \ + --label "dhall-hs < $input_file" (eval $dhall_hs < $input_file ^&1 | psub) \ + --label "dhall-rs < $input_file" (eval $dhall_rs < $input_file ^&1 | psub) |