Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • gerd's avatar
    2e8488e0
    Fix problems with THE detected by Paul Dietz' tests. This also · 2e8488e0
    gerd authored
    	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.
    2e8488e0
    History
    Fix problems with THE detected by Paul Dietz' tests. This also
    gerd authored
    	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.