8000 Way to check if type has unsatisfied generic parameters. · Issue #739 · ark-lang/ark · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Jun 13, 2020. It is now read-only.
This repository was archived by the owner on Jun 13, 2020. It is now read-only.
Way to check if type has unsatisfied generic parameters. #739
Open
Open
Way to check if type has unsatisfied generic parameters.#739
Labels
M-Question
@kiljacken

Description

@kiljacken
kiljacken
opened on Mar 5, 2016

I do not know if we have this already, but having a way to check if a given type contains any unsatisfied generic parameters would greatly simplify some of the inference stuff.

Metadata

Metadata

Assignees

No one assigned

    Labels

    M-Question

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0