New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Extract argument names from specs #1517

Merged

plux merged 1 commit into main from extract-args-from-spec

May 5, 2024

Contributor

plux commented May 5, 2024

Description

Partial support for this was already added in the inlay hints PR.

Now we also support extracting argument names from specs of this format:

-spec member(Elem, List) -> boolean() when
      Elem :: T,
      List :: [T],
      T :: term().

Fixes #1362 .


          Extract argument names from specs

e302b1e

plux merged commit 46b80b5 into main

8 of 10 checks passed

plux deleted the extract-args-from-spec branch

May 5, 2024 21:32

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet