Provide context for type errors during variable binding.
commit00c8a934b9f53a66b4e7248a93f21d9fb2517361
authorStas Boukarev <stassats@gmail.com>
Sat, 21 Jan 2017 11:10:24 +0000 (21 14:10 +0300)
committerStas Boukarev <stassats@gmail.com>
Sun, 22 Jan 2017 20:44:44 +0000 (22 23:44 +0300)
treece5131c890757385e253a05a4e2bb87177703c89
parenta2dae197d389688776f90bd1f6bae84778f6f9b6
Provide context for type errors during variable binding.

(funcall (lambda (y) (declare (double-float y)) y) 10)
=>
The value
  10
is not of type
  DOUBLE-FLOAT
when binding Y
src/code/condition.lisp
src/code/defstruct.lisp
src/compiler/ir1opt.lisp
src/compiler/ir1util.lisp
src/compiler/locall.lisp
tests/macroexpand.impure.lisp