1 files changed, 8 insertions, 0 deletions
diff --git a/build b/build
index ac1b5828..ed266455 100755
--- a/build
+++ b/build
@@ -136,6 +136,14 @@ then
     }
   done
 
+  # higher-level syntax
+  for phase in desugar
+  do
+    older_than apps/$phase apps/$phase.subx apps/subx-common.subx [0-9]*.subx && {
+      ./subx_bin translate [0-9]*.subx apps/subx-common.subx apps/$phase.subx -o apps/$phase
+    }
+  done
+
 fi
 
 exit 0