Skip to content

exprecs dialyzer error if one record with one field #5

@ransomr

Description

@ransomr

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions