Skip to content
Snippets Groups Projects
Commit 2e8488e0 authored by gerd's avatar gerd
Browse files

Fix problems with THE detected by Paul Dietz' tests. This also

	fixes the problem that CMUCL generated RETURN-MULTIPLE without a
	good reason.

	* src/compiler/checkgen.lisp (values-types-asserted): Use
	coerce-to-values again.  Add fixme comments and #+nil code for
	known problems; these aren't new problem, though.

	* src/code/type.lisp (coerce-to-values): Don't add &rest t,
	which is the business of THE.
	(values) <type translator>: Disallow &key and &allow-other-keys.

	* src/compiler/ir1tran.lisp (the) <IR1 translator>: Add &rest t
	where appropriate, or-in null type into required types, for
	missing values.
parent 26120804
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment