Remove an AVER from VALIDATE-CALL-TYPE.
commit449d87a8a82a95a9adc6aacee807e5f3772c108f
authorStas Boukarev <stassats@gmail.com>
Thu, 8 Feb 2018 11:06:58 +0000 (8 14:06 +0300)
committerStas Boukarev <stassats@gmail.com>
Thu, 8 Feb 2018 11:06:58 +0000 (8 14:06 +0300)
treebe5d4be4804282fe7aa0dbebf9ef6927cb5ad322
parenta5df756473dea525340882bd2b21dbcbba4851c2
Remove an AVER from VALIDATE-CALL-TYPE.

It was trying to ascertain that the type is indeed for a function, but
it doesn't accept union types. Instead of trying to use an
intersection just don't assert anything, if the compiler is so broken
to get to this point with a non-function type it'll become evident at
some later stage.

Fixes lp#1748035
src/compiler/ir1opt.lisp
tests/compiler-2.pure.lisp