flutmax-sema 0.1.0

Semantic analysis: type checking, trigger insertion, abstraction registry
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# flutmax-sema

Semantic analysis: type checking, trigger insertion, abstraction registry.

Part of the [flutmax](https://github.com/nordsound/flutmax) workspace.

## Overview

Performs semantic analysis on the parsed AST, including:

- **Type checking** -- signal vs. control type validation
- **Trigger insertion** -- identifies fan-out points requiring automatic `[trigger]` objects
- **Abstraction registry** -- resolves references to external `.flutmax` abstractions

## Usage

```rust
use flutmax_sema::analyze;

let ast = flutmax_parser::parse(source).unwrap();
let analyzed = analyze(&ast).expect("semantic error");
```

## License

MIT