[foreign] RFR 8213811: jextract should support an option to avoid generating location information and USR should be removed from NativeLocation

Henry Jen henry.jen at oracle.com
Tue Nov 13 17:46:26 UTC 2018


I like it. Actually, I think I’ll love to see if we default to no optional information unless given a specific option to enable it. The purpose of those information was to help understanding where it was originated, more a hint to help diagnose problems with jextract.

Cheers,
Henry


> On Nov 13, 2018, at 9:42 AM, Sundararajan Athijegannathan <sundararajan.athijegannathan at oracle.com> wrote:
> 
> Please review.
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-8213811
> Webrev: https://cr.openjdk.java.net/~sundar/8213811/webrev.00/
> 
> Thanks,
> -Sundar



More information about the panama-dev mailing list