1.0.19.24: incorrect function type canonicalization
commit61e6ba93d83266662a1e17431fab02a981ec6bc8
authorNikodemus Siivola <nikodemus@random-state.net>
Tue, 5 Aug 2008 16:29:08 +0000 (5 16:29 +0000)
committerNikodemus Siivola <nikodemus@random-state.net>
Tue, 5 Aug 2008 16:29:08 +0000 (5 16:29 +0000)
treec715a59a190e1c55cff0eb3141072ce23af0c545
parent2e5d4bd590d0603103f7677bcdf7c540469492b5
1.0.19.24: incorrect function type canonicalization

 * If the signature has both &KEY and &OPTIONAL arguments, the
   canonicalization cannot merge &OPTIONAL into &REST. (Not that I am sure why
   we should be merging &OPTIONAL into &REST in *any* case, but this caused
   bogus warning.)

 * Add &KEY SILENT to PARSE-LAMBDA-LIST-LIKE-THING, which silences any
   style-warnings from it: we don't want SPECIFIER-TYPE to complain about the
   lambda-lists it parses.
NEWS
src/code/early-type.lisp
src/compiler/parse-lambda-list.lisp
tests/compiler.impure.lisp
tests/type.pure.lisp
version.lisp-expr