Move dump file creation into subprocess file

Author: pavpanchekha

src/core/egglog-herbie.rkt

@@ -77,23 +77,6 @@
   (define insert-brfs (egglog-runner-brfs runner))
   (define curr-program (make-egglog-program))
 
-  ;; Dump-file
-  (define dump-file
-    (cond
-      [(flag-set? 'dump 'egglog)
-       (define dump-dir "dump-egglog")
-       (unless (directory-exists? dump-dir)
-         (make-directory dump-dir))
-       (define name
-         (for/first ([i (in-naturals)]
-                     #:unless
-                     (file-exists? (build-path dump-dir (format "~a~a.egg" (if label label "") i))))
-           (build-path dump-dir (format "~a~a.egg" (if label label "") i))))
-
-       (open-output-file name #:exists 'replace)]
-
-      [else #f]))
-
   ;; 1. Add the Prelude
   (prelude curr-program #:mixed-egraph? #t)
 
@@ -166,7 +149,7 @@
   (egglog-program-add! `(run-schedule (repeat 1 run-extract-commands)) curr-program)
 
   ;;;; SUBPROCESS START ;;;;
-  (define subproc (create-new-egglog-subprocess dump-file))
+  (define subproc (create-new-egglog-subprocess label))
 
   (thread (lambda ()
             (with-handlers ([exn:fail? (lambda (_) (void))])

src/core/egglog-subprocess.rkt

@@ -22,15 +22,29 @@
 
 ;; High-level function that writes the program to a file, runs it then returns output
 ;;
-;; If the flag is set to dump the egglog file, since a new subprocess is starting, we can
-;;  create a new file to dump the egglog program is and set it
-(define (create-new-egglog-subprocess dump-file)
+;; If the flag is set to dump the egglog file, creates a new dump file in dump-egglog/ directory
+(define (create-new-egglog-subprocess [label #f])
   (define egglog-path
     (or (find-executable-path "egglog") (error "egglog executable not found in PATH")))
 
   ; TODO : "RUST_BACKTRACE=1"
   (define-values (egglog-process egglog-output egglog-in err) (subprocess #f #f #f egglog-path))
 
+  ;; Create dump file if flag is set
+  (define dump-file
+    (cond
+      [(flag-set? 'dump 'egglog)
+       (define dump-dir "dump-egglog")
+       (unless (directory-exists? dump-dir)
+         (make-directory dump-dir))
+       (define name
+         (for/first ([i (in-naturals)]
+                     #:unless
+                     (file-exists? (build-path dump-dir (format "~a~a.egg" (if label label "") i))))
+           (build-path dump-dir (format "~a~a.egg" (if label label "") i))))
+       (open-output-file name #:exists 'replace)]
+      [else #f]))
+
   (egglog-subprocess egglog-process egglog-output egglog-in err dump-file))
 
 (define (send-to-egglog commands subproc #:num-extracts [num-extracts 0])