uwiger / parse_trans

Parse transform utilities for Erlang

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

exprecs dialyzer error if one record with one field

ransomr opened this issue · comments

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