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

Partial function checking #614

Open
jonhue opened this issue Mar 20, 2021 · 0 comments
Open

Partial function checking #614

jonhue opened this issue Mar 20, 2021 · 0 comments
Labels
analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request type inference During type inference the types of nodes in the AST are inferred

Comments

@jonhue
Copy link
Member

jonhue commented Mar 20, 2021

  • add an error if a function is partial in one of its parameters
  • add an error if a function is partial in its return type
@jonhue jonhue added enhancement New feature or request uncommitted Has not been decided upon yet analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table type inference During type inference the types of nodes in the AST are inferred and removed uncommitted Has not been decided upon yet labels Mar 20, 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
analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request type inference During type inference the types of nodes in the AST are inferred
Projects
Core
Status: Processing
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jonhue