Pint编程语言

Pint是一种声明式的基于约束的领域特定语言（DSL），用于意图表达。Pint语言的介绍可以在Pint之书中找到。

依赖项

Rust

Pint是用Rust构建的。要开始，请按照https://www.rust-lang.net.cn/tools/install中的说明安装Rust工具链。然后配置您的Rust工具链以使用Rust stable

rustup default stable

如果尚未完成，请通过将以下行添加到~/.profile并重新启动shell会话，将Cargo的二进制目录添加到您的PATH。

export PATH="${HOME}/.cargo/bin:${PATH}"

构建

克隆仓库并构建Pint编译器和工具

git clone [email protected]:essential-contributions/pint.git
cd pint
cargo build

确认pint已成功构建

cargo run --bin pint -- --help

测试

运行单元测试

可以使用在pint目录中运行的cargo test来运行单元测试。然而，建议使用cargo-nextest包来运行测试。要安装cargo-nextest

cargo install cargo-nextest

要使用cargo-nextest运行所有单元测试

cargo nextest run

更新单元测试

大多数单元测试都是使用expect_test库编写的。以下命令可用于自动更新所有使用expect_test::expect!宏的单元测试，确保它们全部通过。

env UPDATE_EXPECT=1 cargo nextest run

对于影响许多单元测试的编译器更改，上述命令允许一次更新所有受影响的测试。此命令还有助于编写新测试：只需通过将空字符串参数传递给expect!宏（即expect![""]）编写测试，然后运行上述命令。