feature/native-comp updated (9bb2fc1 -> f702426)

[Andrea Corallo]

akrl pushed a change to branch feature/native-comp.

      from  9bb2fc1   Add copy insn testcase
       new  a467fa5   Characterize functions in terms of type specifiers
       new  aced2cf   * Add a number of type specifiers for pure function
       new  3d14a74   * Fix debug symbol emission
       new  22da28c   * Split logic into comp-fwprop-call and improve it
       new  bcecded   Handle correctly quoting in *Native-compile-Log* buffer
       new  f702426   Add `comp-constraint-to-type-spec' and better handle 
boolean type spec


Summary of changes:
 lisp/emacs-lisp/comp.el | 312 ++++++++++++++++++++++++++++++++++--------------
 src/comp.c              |  39 +++---
 test/src/comp-tests.el  |  41 ++++++-
 3 files changed, 281 insertions(+), 111 deletions(-)