From 0fd4666235fb507ac7e0500f9152a6a13e92be76 Mon Sep 17 00:00:00 2001
From: Enrico Lumetti <enrico.lumetti@gmail.com>
Date: Wed, 10 Aug 2022 23:45:43 +0200
Subject: [PATCH] Add utility to print bril from a CVar program

---
 print-rvar-to-bril.rkt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 print-rvar-to-bril.rkt

diff --git a/print-rvar-to-bril.rkt b/print-rvar-to-bril.rkt
new file mode 100644
index 0000000..e1a3928
--- /dev/null
+++ b/print-rvar-to-bril.rkt
@@ -0,0 +1,17 @@
+#lang racket
+
+(provide print-rvar-bril)
+
+(require (prefix-in bril: bril/lang))
+(require "cvar-to-bril.rkt")
+(require "uniquify.rkt")
+(require "remove-complex-oper.rkt")
+(require "explicate-control.rkt")
+(require "rvar.rkt")
+
+(define (print-rvar-bril program)
+ (bril:write-bril
+  (cvar-to-bril
+   (explicate-control
+    (remove-complex-opera*-2
+     (uniquify program))))))