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

Handling Lit values in inference.

Browse source
This commit is contained in:
Alex Shinn 2011-11-10 05:18:18 +09:00
parent cafcad3ca4
commit 16c586f053
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -166,13 +166,15 @@
f-type) f-type)
(else (else
Object)))))) Object))))))
(($ Lit value)
(type-of value))
(else (else
(type-of x)))) (type-of x))))
(define (resolve-delayed-type x) (define (resolve-delayed-type x)
(let lp ((x x) (seen '()) (default Object)) (let lp ((x x) (seen '()) (default Object))
(match x (match x
(('return-type f) (('return-type (? lambda? f))
(if (memq f seen) (if (memq f seen)
default default
(lp (lambda-return-type f) (cons f seen) default))) (lp (lambda-return-type f) (cons f seen) default)))