diff options
Diffstat (limited to 'rego-proofs/compiler/passes/compile-object-literal.scm')
| -rw-r--r-- | rego-proofs/compiler/passes/compile-object-literal.scm | 35 |
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))))) |