8000 Attributes on identifiers · Issue #639 · tact-lang/tact · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Attributes on identifiers #639
New issue
New issue
Open
Idea
Open
Attributes on identifiers#639
Idea
Labels
kind: language featureIntent to add a language featuremisc: ecosystemBlueprint, Misti, Verifier, Web IDE, VSCode pluginscope: library-apiTact's TypeScript API for third-party tools (src/index.ts)
Milestone
 
v1.8.0
@anton-trunov

Description

@anton-trunov
anton-trunov
opened on Jul 30, 2024

Add attributes which look like Rust's #[some_attribute(x,y,z)] directives in concrete syntax. This syntax will allow the user to configure the tools, e.g. suppressing specific warnings from static analyzer and also might be used in the compiler itself.

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: language featureIntent to add a language featuremisc: ecosystemBlueprint, Misti, Verifier, Web IDE, VSCode pluginscope: library-apiTact's TypeScript API for third-party tools (src/index.ts)

    Type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0