mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-13 12:52:08 -08:00
Code Issues Projects Releases Packages Wiki Activity

More accurate type for AND and OR forms

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2010-05-17 22:34:14 +02:00
parent 271f3499d2
commit a0f102fb0c
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/cmp/cmpif.lsp
View file

@ -55,7 +55,7 @@
;; (AND x) => x
(if butlast
(make-c1form* 'FMLA-AND
:type (c1form-type last)
:type (type-or 'null (c1form-type last))
:args butlast last)
last))))
@ -69,7 +69,9 @@
;; (OR x) => x
(if butlast
(make-c1form* 'FMLA-OR
:type (type-or 'null (c1form-type last))
:type (reduce #'type-or butlast
:key #'c1form-type
:initial-value (c1form-type last))
:args butlast last)
last))))