Open Issues Need Help
View All on GitHubAI Summary: This issue proposes adding a `not` unary operator to the language, which is currently missing and needed for making the `HashMap` module IFC-aware. The preferred approach is to integrate it directly into the frontend and propagate it through the entire compiler pipeline without desugaring, to enable future optimizations. Alternatives include adding it as a builtin or desugaring it into an equality expression.
Troupe programming language
AI Summary: This GitHub issue proposes introducing the `@` symbol as an alias for the `raisedTo` operator, which is used for applying security labels to data. The motivation is to achieve greater consistency with the `toStringL` output, improve readability, and emphasize it as a core language feature. The change is described as a minor update primarily to the `Parser.hs` file, as the `@` token is already handled by the lexer.
Troupe programming language
Troupe programming language
Troupe programming language
Troupe programming language
Troupe programming language