Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Explore gradual type checking and success typings #11

Open
1 task done
alexrp opened this issue Oct 17, 2022 · 1 comment
Open
1 task done

Explore gradual type checking and success typings #11

alexrp opened this issue Oct 17, 2022 · 1 comment
Assignees
@alexrp
Labels
area: analysis Issues related to language analyses. area: tests Issues related to the test suite. state: approved Feature requests and housekeeping tasks that have been approved. type: feature Issues that are classified as feature requests.
Milestone
v2.0

Comments

@alexrp
Copy link
Sponsor Member

alexrp commented Oct 17, 2022 •
edited
Loading

Depends on:
@alexrp alexrp added state: blocked Issues that are blocked on some other issue/work. type: feature Issues that are classified as feature requests. area: semantics area: tests Issues related to the test suite. labels Oct 17, 2022
@alexrp alexrp added this to the v1.0 milestone Oct 17, 2022
@alexrp alexrp self-assigned this Oct 17, 2022
@alexrp alexrp modified the milestones: v1.0, v2.0 Oct 17, 2022
@alexrp
Copy link
Sponsor Member Author

alexrp commented Feb 18, 2023

celerity/src/semantics/Tree/SemanticTree.xml

Lines 92 to 99 in bf95975

<!-- Types -->
<!-- TODO: Should types be represented as nodes or be a higher-level concept like scopes/symbols? -->
<Type Name="Type" Abstract="true" />
<Type Name="ReturnType" Abstract="true" />

@alexrp alexrp added area: typing area: analysis Issues related to language analyses. and removed area: semantics labels Feb 22, 2023
@alexrp alexrp changed the title Explore success typing analysis Explore gradual type checking and success typings Feb 25, 2023
@alexrp alexrp added state: approved Feature requests and housekeeping tasks that have been approved. and removed state: blocked Issues that are blocked on some other issue/work. labels Mar 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alexrp alexrp

Labels
area: analysis Issues related to language analyses. area: tests Issues related to the test suite. state: approved Feature requests and housekeeping tasks that have been approved. type: feature Issues that are classified as feature requests.
Milestone
v2.0
Development

No branches or pull requests
1 participant
@alexrp