Skip to main content

L1344 - Native Record Already Exported

Error​

-module(main).
-record(#r {x}).
-export_record([r]).
-export_record([r]).

Explanation​

A record name should be exported at most once. Exporting the same record name more than once across a module's -export_record attributes is intended to raise this error. To fix it, remove the duplicate entry.

Known limitation: because of an upstream Erlang/OTP bug (faithfully mirrored by ELP), a duplicate export of a native record — as in the example above — does not currently trigger this diagnostic. After a successful native-record export the record name is not recorded as "already seen", so the second export is treated as fresh. The diagnostic does fire for a duplicate export of a tuple or undefined record name.