chicken-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 3/3] Let scrutinizer infer types for foreign types with retco


From: Evan Hanson
Subject: Re: [PATCH 3/3] Let scrutinizer infer types for foreign types with retconv/argconv given
Date: Wed, 25 Dec 2019 10:32:05 -0600

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? I'd guess that would simplify this code, and might also give
benefits in other places, but maybe there's a reason it doesn't...

Evan



reply via email to

[Prev in Thread] Current Thread [Next in Thread]