Skip to content
This repository has been archived by the owner on Jun 1, 2022. It is now read-only.

Throw an error if no term binding is declared in the scope of a refined type #450

Open
jonhue opened this issue Jan 8, 2021 · 0 comments
Open

Throw an error if no term binding is declared in the scope of a refined type #450

jonhue opened this issue Jan 8, 2021 · 0 comments
Labels
type inference During type inference the types of nodes in the AST are inferred
Milestone
0.2.0

Comments

@jonhue
Copy link
Member

jonhue commented Jan 8, 2021

No description provided.

@jonhue jonhue added the type inference During type inference the types of nodes in the AST are inferred label Jan 8, 2021
@jonhue jonhue added this to the Refactor type inference milestone Jan 8, 2021
@jonhue jonhue mentioned this issue Jan 10, 2021
Open
@jonhue jonhue modified the milestones: Refactor type inference, 0.2.0 Feb 17, 2021
@jonhue jonhue added this to Core Nov 19, 2021
@jonhue jonhue moved this to Todo in Core Nov 19, 2021
@jonhue jonhue moved this from Todo to Processing in Core Nov 19, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
type inference During type inference the types of nodes in the AST are inferred
Projects
Core
Status: Processing
Milestone
0.2.0
Development

No branches or pull requests
1 participant
@jonhue