diff options
Diffstat (limited to 'rego-proofs/compiler/passes/compile-funcall.scm')
| -rw-r--r-- | rego-proofs/compiler/passes/compile-funcall.scm | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/rego-proofs/compiler/passes/compile-funcall.scm b/rego-proofs/compiler/passes/compile-funcall.scm deleted file mode 100644 index 28dfdc1..0000000 --- a/rego-proofs/compiler/passes/compile-funcall.scm +++ /dev/null @@ -1,36 +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-funcall) - #: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-funcall)) - -(define (compile-funcall policy) - (policy-map - policy - (lambda (scope breadcrumb form) - (match form - (($ <funcall> function-name args) - (assert (or (scope-contains? scope breadcrumb function-name) - (lean-builtin-function? (reference->lean-name function-name)))) - (make <lean-funcall> - #:name (reference->lean-name function-name) - #:args args)) - (anything-else anything-else))))) |