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

Build refinement type #464

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

Build refinement type #464

jonhue opened this issue Jan 10, 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 10, 2021 •
edited
Loading

  • RefinementType
  • RefinementTypeDeclaration

Also think about #450
@jonhue jonhue added the type inference During type inference the types of nodes in the AST are inferred label Jan 10, 2021
@jonhue jonhue added this to the Refactor type inference milestone Jan 10, 2021
@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