Refactor the formula parser to assume grammar invariants, replacing Result-based error handling in tree walkers with infallible functions and .expect(GRAMMAR_INVARIANT) calls. This simplification is based on the guarantee that the Pest grammar already validates the input structure. To verify these invariants and ensure correctness, extensive new unit tests and property-based tests using proptest have been added. Co-Authored-By: fiddlerwoaroof/git-smart-commit (gemma-4-31B-it-UD-Q4_K_XL.gguf)
18 lines
381 B
TOML
18 lines
381 B
TOML
[package]
|
|
name = "improvise-formula"
|
|
version = "0.1.0-rc2"
|
|
edition = "2024"
|
|
description = "Formula parser and AST for improvise"
|
|
license = "Apache-2.0"
|
|
repository = "https://github.com/fiddlerwoaroof/improvise"
|
|
|
|
[dependencies]
|
|
anyhow = "1"
|
|
pest = "2.8.6"
|
|
pest_derive = "2.8.6"
|
|
serde = { version = "1", features = ["derive"] }
|
|
|
|
[dev-dependencies]
|
|
pest_meta = "2.8.6"
|
|
proptest = "1"
|