Skip to content

Add type checking to the node graph #1025

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.

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

Merged
merged 16 commits into from
Feb 15, 2023
Merged

Add type checking to the node graph #1025

merged 16 commits into from
Feb 15, 2023

Conversation

TrueDoctor
Copy link
Member

@TrueDoctor TrueDoctor commented Feb 12, 2023

Closes #888

@cloudflare-workers-and-pages
Copy link

cloudflare-workers-and-pages bot commented Feb 12, 2023

Deploying with  Cloudflare Pages  Cloudflare Pages

Latest commit: b78de02
Status: ✅  Deploy successful!
Preview URL: https://11ba6f03.graphite.pages.dev
Branch Preview URL: https://add-type-hint.graphite.pages.dev

View logs

Add type hints to node trait

Add type annotation infrastructure

Refactor type ascription infrastructure

Run cargo fix

Insert infer types stub

Remove types from node identifier
* Keep connection information during node resolution
* Fix TypeDescriptor PartialEq implementation
@Keavon Keavon changed the title Add type checking Add type checking to the node graph Feb 15, 2023
@Keavon Keavon merged commit 6f371d7 into master Feb 15, 2023
@Keavon Keavon deleted the add-type-hint branch February 15, 2023 22:31
Keavon added a commit that referenced this pull request Jul 30, 2023
* Implement type inference

Add type hints to node trait

Add type annotation infrastructure

Refactor type ascription infrastructure

Run cargo fix

Insert infer types stub

Remove types from node identifier

* Implement covariance

* Disable rejection of generic inputs + parameters

* Fix lints

* Extend type checking to cover Network inputs

* Implement generic specialization

* Relax covariance rules

* Fix type annotations for TypErasedComposeNode

* Fix type checking errors

* Keep connection information during node resolution
* Fix TypeDescriptor PartialEq implementation

* Apply review suggestions

* Add documentation to type inference

* Add Imaginate node to document node types

* Fix whitespace in macros

* Add types to imaginate node

* Fix type declaration for imaginate node + add console logging

* Use fully qualified type names as fallback during comparison

---------

Co-authored-by: Keavon Chambers <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Implement types and type checking in the node graph
2 participants