about summary refs log tree commit diff stats
path: root/test_apps
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2019-08-13 22:28:55 -0700
committerKartik Agaram <vc@akkartik.com>2019-08-13 22:32:54 -0700
commitdbb380b87f14da2b7bdc1ac94551f95eba5a51ec (patch)
tree1efc660bcb6bd5d06631d224f12adc13a91631c4 /test_apps
parent306812cc3044440987f15ee0ed8dc876e17c369d (diff)
downloadmu-dbb380b87f14da2b7bdc1ac94551f95eba5a51ec.tar.gz
add desugar to CI
Diffstat (limited to 'test_apps')
-rwxr-xr-xtest_apps5
1 files changed, 5 insertions, 0 deletions
diff --git a/test_apps b/test_apps
index b8c142be..17b38d68 100755
--- a/test_apps
+++ b/test_apps
@@ -333,4 +333,9 @@ cat 0*.subx apps/subx-common.subx apps/dquotes.subx |apps/tests |apps/dquotes |a
 echo tests
 cat 0*.subx apps/subx-common.subx apps/tests.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/tests -
 
+# Higher-level syntax.
+
+echo desugar
+cat 0*.subx apps/subx-common.subx apps/desugar.subx |apps/tests |apps/dquotes |apps/assort |apps/pack |apps/survey |apps/hex |diff apps/desugar -
+
 exit 0