On 2019-12-26 15:51, megane wrote:
> It would be ideal if we could add some bits of type information and let
> the scrutinizer infer the rest. I think that would need some thought,
> and/or experimentation.
>
> In these patches I dropped the annotations that added no information the
> scrutinizer
Evan Hanson writes:
> Hi megane, happy holidays!
Happy holidays, Evan and everyone!
>
> A quick question about this -- ought the scrutinizer try to improve the
> specificity of the ##core#the annotation, rather than having
> annotate-foreign-procedure skip emitting it entirely?
It would be
Hi megane, happy holidays!
A quick question about this -- ought the scrutinizer try to improve the
specificity of the ##core#the annotation, rather than having
annotate-foreign-procedure skip emitting it entirely?
ISTR it doesn't even look at the types in ##core#the nodes, but maybe it
should?
oreign-procedure `(##core#foreign-primitive ,@(cdr form))
+ argtypes
+ rtype)
(##sys#extend-macro-environment
'foreign-lambda
--
2.17.1
>From bb9e1ff2a43518afa9959eee686d5a2f041c60ea Mon Sep 17 00:00:00 2001
From: megane
Date: Sun, 1 Dec 2019 12:59:
