7 releases (breaking)
new 0.6.0 | Oct 29, 2024 |
---|---|
0.5.0 | Oct 19, 2024 |
0.4.0 | Oct 16, 2024 |
0.3.0 | Aug 23, 2024 |
0.0.0-release | Jul 8, 2024 |
#90 in Operating systems
352 downloads per month
75KB
1.5K
SLoC
The Pint Programming Language
Pint is a Declarative constraint-based Domain Specific Language (DSL) for intent expression. An introduction to the Pint language can be found in The Book of Pint.
Dependencies
Rust
Pint is built in Rust. To begin, install the Rust toolchain following instructions at https://www.rust-lang.org/tools/install. Then configure your Rust toolchain to use Rust stable
:
rustup default stable
If not already done, add the Cargo bin directory to your PATH
by adding the following line to ~/.profile
and restarting the shell session.
export PATH="${HOME}/.cargo/bin:${PATH}"
Building
Clone the repository and build the Pint compiler and tooling:
git clone git@github.com:essential-contributions/pint.git
cd pint
cargo build
Confirm that pint
built successfully:
cargo run --bin pint -- --help
Testing
Running Unit Tests
Unit tests can be run using cargo test
in the pint
directory. However, it is recommended that the tests are run using the cargo-nextest
package instead. To install cargo-nextest
:
cargo install cargo-nextest
To run all unit tests using cargo-nextest
:
cargo nextest run
cargo nestest run --all-features
Updating Unit Tests
Most unit tests are written with the help of the expect_test
crate. The following command can be used to automatically update all unit tests that use the expect_test::expect!
macro such that they all pass.
env UPDATE_EXPECT=1 cargo nextest run
env UPDATE_EXPECT=1 cargo nestest run --all-features
For compiler changes that affect many unit tests, the command above allows updating all affected tests in one go. The command also helps with writing new tests: simply write your test by passing an empty string argument to the expect!
macro (i.e. expect![""]
) and then run the command above.
Dependencies
~13–23MB
~313K SLoC