[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