blob: 4c2fb95f0617e5d5f89907a43420de7ab65a3a2c (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
;;; 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 bool-to-prop)
#:use-module (compiler lean)
#:use-module (compiler types)
#:use-module (compiler utilities)
#:use-module (ice-9 match)
#:use-module (oop goops)
#:export (compile-bool-to-prop))
(define (compile-bool-to-prop policy)
(define (rewrite-top-level form)
(match form
(($ <constant> value)
(if (boolean? value)
(make <lean-compare>
#:kind 'eq
#:left form
#:right (make <constant> #:value #t))
form))
(($ <lean-assignment-chain> value)
(make <lean-compare>
#:kind 'eq
#:left form
#:right (make <constant> #:value #t)))
(_ form)))
(policy-map
policy
(lambda (_scope _breadcrumb form)
(match form
(($ <lean-conjunction> conjunction)
(make <lean-conjunction>
#:clauses (map rewrite-top-level conjunction)))
(($ <for-all> _domain _key _value conjunction)
(with-modified-slot form 'body
(map rewrite-top-level conjunction)))
(_ form)))))
|
© 2015 - 2026 Jakob L. Kreuze
