From f9a5fed54e0a2ac71e11e5dbfac9bc791dcf7fc1 Mon Sep 17 00:00:00 2001
From: Jakob L. Kreuze
Date: Thu, 27 Apr 2023 17:59:17 -0400
Subject: Reorder passes

---
 compiler/main.scm | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/compiler/main.scm b/compiler/main.scm
index d63d318..97e4638 100644
--- a/compiler/main.scm
+++ b/compiler/main.scm
@@ -44,11 +44,8 @@ of `(program-arguments)'."
     (let*-values (((ast) (read-and-parse policy-file-name))
                   ((package imports rules) (preprocess-policy ast))
                   ((policy) (parse-policy package imports rules))
-                  ((policy) (extract-identifiers policy))
                   ((policy) (compile-exists-some policy))
-                  ((policy) (compile-funcall policy))
+                  ((policy) (extract-identifiers policy))
                   ((policy) (compile-constraints policy))
-                  )
-      ;; (pretty-print (to-pretty-sexp policy))
-      (emit-specification policy)
-      )))
+                  ((policy) (compile-funcall policy)))
+      (emit-specification policy))))
-- 
cgit v1.3