[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