Added all-args to adbf

This commit is contained in:
Justin Ethier 2018-09-19 17:45:22 -04:00
parent bd8e5cb1de
commit 47da3d5be6

View file

@ -78,6 +78,7 @@
%adb:make-fnc %adb:make-fnc
adb:function? adb:function?
adbf:simple adbf:set-simple! adbf:simple adbf:set-simple!
adbf:all-params adbf:set-all-params!
adbf:unused-params adbf:set-unused-params! adbf:unused-params adbf:set-unused-params!
adbf:side-effects adbf:set-side-effects! adbf:side-effects adbf:set-side-effects!
adbf:well-known adbf:set-well-known! adbf:well-known adbf:set-well-known!
@ -210,6 +211,7 @@
(define-record-type <analysis-db-function> (define-record-type <analysis-db-function>
(%adb:make-fnc (%adb:make-fnc
simple simple
all-params
unused-params unused-params
assigned-to-var assigned-to-var
side-effects side-effects
@ -218,6 +220,7 @@
) )
adb:function? adb:function?
(simple adbf:simple adbf:set-simple!) (simple adbf:simple adbf:set-simple!)
(all-params adbf:all-params adbf:set-all-params!)
(unused-params adbf:unused-params adbf:set-unused-params!) (unused-params adbf:unused-params adbf:set-unused-params!)
(assigned-to-var adbf:assigned-to-var adbf:set-assigned-to-var!) (assigned-to-var adbf:assigned-to-var adbf:set-assigned-to-var!)
(side-effects adbf:side-effects adbf:set-side-effects!) (side-effects adbf:side-effects adbf:set-side-effects!)
@ -235,6 +238,7 @@
(define (adb:make-fnc) (define (adb:make-fnc)
(%adb:make-fnc (%adb:make-fnc
'? ;; simple '? ;; simple
#f ;; all-params
'? ;; unused-params '? ;; unused-params
'() ;; assigned-to-var '() ;; assigned-to-var
#f ;; side-effects #f ;; side-effects