Michael Schimmel d109cb2018 Refactor type checking for globals ...

Introduces a `global_types` field to `TypeContext` and updates the
`TypeChecker` to pass it down. This allows type checking to correctly
infer and set types for global variables, removing the previous
hardcoded `StaticType::Any` for global addresses.

2026-02-25 11:14:19 +01:00

.gemini

feat: Initialize compiler GUI project

2026-02-16 23:47:17 +01:00

docs

Add documentation for analysis metrics

2026-02-22 18:41:27 +01:00

examples

Refactor: Use generic Define bound kind

2026-02-25 10:45:36 +01:00

src

Refactor type checking for globals

2026-02-25 11:14:19 +01:00

.geminiignore

Add .snap files to .geminiignore

2026-02-22 02:07:35 +01:00

.gitignore

Refactor: Collect global usage in optimizer

2026-02-22 02:07:00 +01:00

Cargo.lock

feat: Add fastrand for PRNG support

2026-02-22 09:08:16 +01:00

Cargo.toml

feat: Add fastrand for PRNG support

2026-02-22 09:08:16 +01:00

gemini.md

Refactor optimizer to track upvalue usage

2026-02-24 12:53:06 +01:00

S

Description

No description provided

6.5 MiB

Languages

Rust 100%