Skip to content

experiment: data-viewer#5810

Closed
crusso wants to merge 12 commits intoclaudio/data-viewfrom
claudio/data-view-exp
Closed

experiment: data-viewer#5810
crusso wants to merge 12 commits intoclaudio/data-viewfrom
claudio/data-view-exp

Conversation

@crusso
Copy link
Contributor

@crusso crusso commented Feb 2, 2026

Builds on #5796

#5796 adds the view queries in desugaring, after type checking, so they only appear in the candid custom section, not the candid output produced by --idl (which only looks at the result of typechecking, before desugaring).

This PR adjusts #5796 to add the view methods to the inferred actor type.

@crusso crusso changed the base branch from master to claudio/data-view February 2, 2026 11:46
@crusso crusso changed the base branch from claudio/data-view to master February 2, 2026 12:06
@crusso crusso changed the base branch from master to claudio/data-view February 3, 2026 17:19
@crusso crusso closed this Feb 12, 2026
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.

1 participant