Skip to content

Wingman: intros binds too many variables #1959

New issue
New issue
Closed
#1961
Closed
Wingman: intros binds too many variables#1959
#1961
Labels
component: wingmantype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..
@isovector

Description

@isovector
isovector
opened on Jun 22, 2021

The intros tactic, if given explicit args, will bind more variables than there are function arguments!

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: wingmantype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions