Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-07-04 03:36:36 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

procedure-signature should strip synclos from parameters

Browse source
This commit is contained in:
Alex Shinn 2015-06-18 23:33:01 +09:00
parent 8cf38672cf
commit 7e634f3b66
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
lib/chibi/type-inference.scm
View file

@ -305,13 +305,17 @@
;;> remaining arguments are the parameter types.
(define (procedure-signature x . o)
(define (map* f ls)
(cond ((pair? ls) (cons (f (car ls)) (map* f (cdr ls))))
((null? ls) '())
(else (f ls))))
(define (ast-sig x)
(cond
((lambda? x)
(cons (lambda-return-type x)
(if (pair? (lambda-param-types x))
(lambda-param-types x)
(lambda-params x))))
(map* identifier->symbol (lambda-params x)))))
((seq? x) (ast-sig (last (seq-ls x))))
((and (pair? x) (lambda? (car x))) (ast-sig (lambda-body (car x))))
;; TODO: improve the type inference so this isn't needed