From dbb380b87f14da2b7bdc1ac94551f95eba5a51ec Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 13 Aug 2019 22:28:55 -0700
Subject: add desugar to CI

---
 test_apps | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'test_apps')

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
-- 
cgit 1.4.1-2-gfad0