Add utility to print bril from a CVar program

This commit is contained in:
Enrico Lumetti 2022-08-10 23:45:43 +02:00
parent 0aeb312f14
commit 0fd4666235
1 changed files with 17 additions and 0 deletions

17
print-rvar-to-bril.rkt Normal file
View File

@ -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))))))