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

Labeled types #494

Open
jonhue opened this issue Feb 20, 2021 · 0 comments · Fixed by #501
Open

Labeled types #494

jonhue opened this issue Feb 20, 2021 · 0 comments · Fixed by #501
Assignees
@jonhue
Labels
enhancement New feature or request uncommitted Has not been decided upon yet
Milestone
0.2.0

Comments

@jonhue
Copy link
Member

jonhue commented Feb 20, 2021 •
edited
Loading

Store labels of types (without having any effect on type inference): identifier: Type. The compiler should automatically label types where possible (for examples with abstractions).
@jonhue jonhue added the enhancement New feature or request label Feb 20, 2021
@jonhue jonhue added this to the 0.2.0 milestone Feb 20, 2021
@jonhue jonhue self-assigned this Feb 20, 2021
@jonhue jonhue changed the title Labeled and optional types Labeled types Feb 21, 2021
jonhue added a commit that referenced this issue Feb 21, 2021
@jonhue
[#494] Labeled types
1f96e67
@jonhue jonhue linked a pull request Feb 21, 2021 that will close this issue
[#494] Labeled types #501
Merged
jonhue added a commit that referenced this issue Feb 21, 2021
@jonhue
[#494] Labeled types (#501)
2708365
@jonhue jonhue reopened this Mar 25, 2021
@jonhue jonhue added the uncommitted Has not been decided upon yet label Mar 25, 2021
@jonhue jonhue added this to Core Nov 19, 2021
@jonhue jonhue moved this to In Progress in Core Nov 19, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jonhue jonhue

Labels
enhancement New feature or request uncommitted Has not been decided upon yet
Projects
Core
Status: In Progress
Milestone
0.2.0
Development

Successfully merging a pull request may close this issue.

[#494] Labeled types tony-lang/tree-sitter-tony
1 participant
@jonhue