Skip to content

Introduce Hyper Functions / Fix issue 846#951

Draft
jcp19 wants to merge 7 commits intomasterfrom
fix-846
Draft

Introduce Hyper Functions / Fix issue 846#951
jcp19 wants to merge 7 commits intomasterfrom
fix-846

Conversation

@jcp19
Copy link
Contributor

@jcp19 jcp19 commented Aug 5, 2025

TODO:

  • enforce subtyping rules for hyper functions
  • disable closures with hyper annotations
  • add tests
  • add support for rel expressions

@jcp19 jcp19 changed the title Fix issue 846 Introduce Hyper Functions / Fix issue 846 Jan 23, 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.

fix-846: Viper encoding leads to insufficient permissions with interfaces

1 participant