feature/native-comp updated (2b3c7c7 -> 3f00d66)

[Andrea Corallo]

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

      from  2b3c7c7   Store function type and expose it with `subr-type'
       new  ba41a18   * lisp/emacs-lisp/comp-cstr.el (comp-cstr): Better 
`comp-type-to-cstr'.
       new  e83c699   * Define `cl-satisfies-deftype' mapping predicate -> type
       new  c4efb49   Constrain mvars under compare and branch with built-in 
predicates
       new  a3b816f   * lisp/emacs-lisp/comp-cstr.el (comp-cstr): Better 
`comp-value-to-cstr'.
       new  3f00d66   Fix missing negation handling in a bunch of predicates


Summary of changes:
 lisp/emacs-lisp/cl-macs.el   |  3 +-
 lisp/emacs-lisp/comp-cstr.el | 33 +++++++++++++---
 lisp/emacs-lisp/comp.el      | 90 +++++++++++++++++++++++++++++++++++---------
 test/src/comp-test-funcs.el  |  6 +++
 test/src/comp-tests.el       | 72 ++++++++++++++++++++++++++---------
 5 files changed, 164 insertions(+), 40 deletions(-)