Get rid of old compiler code

1 files changed, 0 insertions, 35 deletions

diff --git a/rego-proofs/compiler/passes/compile-object-literal.scm b/rego-proofs/compiler/passes/compile-object-literal.scm
deleted file mode 100644
index 3daa69c..0000000
--- a/rego-proofs/compiler/passes/compile-object-literal.scm
+++ /dev/null
@@ -1,35 +0,0 @@
-;;; Copyright © 2023 Jakob L. Kreuze <zerodaysfordays@sdf.org>
-;;;
-;;; This program is free software; you can redistribute it and/or
-;;; modify it under the terms of the GNU General Public License as
-;;; published by the Free Software Foundation; either version 3 of the
-;;; License, or (at your option) any later version.
-;;;
-;;; This program is distributed in the hope that it will be useful,
-;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-;;; General Public License for more details.
-;;;
-;;; You should have received a copy of the GNU General Public License
-;;; along with this program. If not, see
-;;; <http://www.gnu.org/licenses/>.
-
-(define-module (compiler passes compile-object-literal)
-  #:use-module ((rnrs base) #:select (assert))
-  #:use-module (compiler lean)
-  #:use-module (compiler types)
-  #:use-module (ice-9 match)
-  #:use-module (oop goops)
-  #:export (compile-object-literal))
-
-(define (compile-object-literal policy)
-  (policy-map
-   policy
-   (lambda (_scope _breadcrumb form)
-     (match form
-       (($ <constant>
-           ($ <object-literal> pairs))
-        (make <lean-funcall>
-          #:name "List.toAssocList'"
-          #:args (list (map (lambda (x) (make <lean-tuple> #:items x)) pairs))))
-       (_ form)))))