This commit is contained in:
Justin Ethier 2018-09-25 17:03:28 -04:00
parent 8d327b9dd2
commit 5df8fd92ed

View file

@ -42,7 +42,7 @@
simple-lambda? simple-lambda?
one-instance-of-new-mutable-obj? one-instance-of-new-mutable-obj?
;; Analysis - well-known lambdas ;; Analysis - well-known lambdas
well-known-lambda? well-known-lambda
analyze:find-known-lambdas analyze:find-known-lambdas
;; Analyze variables ;; Analyze variables
adb:make-var adb:make-var
@ -1984,8 +1984,10 @@
exp)) exp))
) )
;; well-known-lambda :: symbol -> Either (AST Lambda | Boolean)
;; Does the given symbol refer to a well-known lambda? ;; Does the given symbol refer to a well-known lambda?
(define (well-known-lambda? sym) ;; If so the corresponding lambda object is returned, else #f.
(define (well-known-lambda sym)
(and *well-known-lambda-sym-lookup-tbl* (and *well-known-lambda-sym-lookup-tbl*
(hash-table-ref/default *well-known-lambda-sym-lookup-tbl* sym #f))) (hash-table-ref/default *well-known-lambda-sym-lookup-tbl* sym #f)))