Reorder passes

1 files 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))))