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

Exhaustiveness analysis #492

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

Exhaustiveness analysis #492

jonhue opened this issue Jan 13, 2021 · 0 comments
Labels
analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table
Milestone
0.2.0

Comments

@jonhue
Copy link
Member

jonhue commented Jan 13, 2021

Ensure that

  • the union of all case when's is an instance of the given value and vice versa
  • the union of all abstraction branch types is an instance of the annotated function type and vice versa

Else include Void in return type union.

Also do reachability analysis for conditionals.
@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 and removed enhancement New feature or request uncommitted Has not been decided upon yet labels Jan 13, 2021
@jonhue jonhue modified the milestones: 0.2.0, Refactor type inference Jan 13, 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
analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table
Projects
Core
Status: Processing
Milestone
0.2.0
Development

No branches or pull requests
1 participant
@jonhue