repo.macrolet.net Git - sbcl.git/commit - src/compiler/array-tran.lisp

author	Nikodemus Siivola <nikodemus@random-state.net>
	Mon, 23 Jan 2012 12:27:17 +0000 (14:27 +0200)
committer	Nikodemus Siivola <nikodemus@random-state.net>
	Mon, 23 Jan 2012 13:21:32 +0000 (15:21 +0200)
commit	5a2c8811f297b21b5e4142ce29d2c7981cbb2697
tree	48fae6e4b3cc0f7e357724e613ec454657dd5d42	tree \| snapshot
parent	26d8f7707843aba4ba2a071b3b2d4c91e8c0d798	commit \| diff

weakening hairy integer types

Fixes lp#913232.

Deal with intersection types and unions including non-integer component
types, such as:

(OR (INTEGER * -1) (AND (SATISFIES ODDP) (INTEGER 1)))

NEWS		diff \| blob \| history
src/compiler/array-tran.lisp		diff \| blob \| history
src/compiler/checkgen.lisp		diff \| blob \| history
tests/compiler.pure.lisp		diff \| blob \| history

Mirror of Steel Bank Common Lisp SBCL's official repository

RSS Atom