Tree

Tree:
1cadab852665f96823f718b3aa5dc040d95d7a97
Date:
Message:
Add type checking and contextual error messages Compiler infers types and validates type annotations at compile time (e.g. let x: int = "hello" is an error). Span gains line_col() for mapping byte offsets to line:column. Errors now render with source context showing the exact location and underline.
.gitignorecommits | blame
.rustfmt.tomlcommits | blame
Cargo.lockcommits | blame
Cargo.tomlcommits | blame
LICENSEcommits | blame
Makefilecommits | blame
PLAN.mdcommits | blame
README.mdcommits | blame
src/

README.md

# olang

Olivia Lang

````
fn main() {
    let x = 42
    let mut name: str = "world"

    if x > 10 {
        print("hello " + name)
    }

    for i in range(10) {
        print(i)
    }

    let num = add(x, 1)
    print(num)

}

fn add(a: int, b: int) -> int {
    a + b
}
```

## License

ISC — see [LICENSE](LICENSE).