parse_trans
parse_trans copied to clipboard
exprecs dialyzer error if one record with one field
R16B
-module(exprecs_specs). -compile({parse_transform, exprecs}). -export_records([r]). -record(r, {f}).
Proceeding with analysis... exprecs_specs.erl:40: Invalid type specification for function exprecs_specs:'#pos-'/2. The success typing is ('r',atom()) -> 0 | 2