Ransom Richardson

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

R16B -module(exprecs_specs). -compile({parse_transform, exprecs}). -export_records([r]). -record(r, {f}). -opaque r() :: #r{}. -export_type([r/0]). Proceeding with analysis... exprecs_specs.erl:39: The contract exprecs_specs:'#set-r'(['#prop-r'()],#r{}) -> #r{} cannot be right because the inferred return for '#set-r'(Vals::any(),Rec::exprecs_specs:r())...