summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNanoTech2016-12-11 23:28:18 -0600
committerNanoTech2017-03-10 23:48:30 -0600
commit9d737ee11959bc2ec7563ac004637ce04160bcd4 (patch)
treeb5ed610460abd14b7671826aaf971810cecf8612
parent5c00b978b0bc0c1eeb64682cba6aa338fea320bf (diff)
Output comparison script
Diffstat (limited to '')
-rwxr-xr-xcompare.fish9
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)