aboutsummaryrefslogtreecommitdiff
path: root/rego-proofs/compiler/passes/compile-object-literal.scm
blob: 3daa69cdd53a3ce5c82473f5b2ef469425818d03 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
;;; 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)))))

© 2015 - 2026 Jakob L. Kreuze