Skip to content

unsupported_type char #329

Description

@KunaPrime

with following defeinitions:

-type digit() :: $0..$9.
-type zero():: $0.

proper_gen:pick(?LET(X, digit(), X)) % works fine

proper_gen:pick(?LET(X, zero(), X)) % fails with `Error: The typeserver encountered an error: {unsupported_type,{char,{16,18},48}}.`

which is surprising as both are valid erlang type definitions

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions