Skip to content

Create a Rust runtime for LB Prelude #105

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 29 commits into from
Oct 18, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
a7bada8
Configuring nix for rust prelude
szg251 Oct 2, 2023
b2bfa8f
Remove rust test from checks
szg251 Oct 2, 2023
79cf83b
Naive implementation of JSON serialisers/deserialisers in Rust
szg251 Oct 4, 2023
faeae4a
Removing cargo workspaces
szg251 Oct 9, 2023
5735279
Move rust specific gitignores to package directory
szg251 Oct 9, 2023
494b7c3
Implement JSON roundtrip tests
szg251 Oct 9, 2023
6878d8e
Experimenting with flakes modules
szg251 Oct 9, 2023
d16e060
Remove crates.nix
szg251 Oct 9, 2023
8a1ac98
Merge branch 'main' into szg251/rust-prelude
szg251 Oct 10, 2023
d6c2062
Delete proptest-regressions file
szg251 Oct 10, 2023
8a63112
Add documentation to exposed functions
szg251 Oct 10, 2023
9b8cc04
Remove 'import' statement for flake module imports
szg251 Oct 10, 2023
624e331
Add rustfmt and clippy
szg251 Oct 11, 2023
2b3b992
Fix clippy installation
szg251 Oct 12, 2023
e8255d5
Use wrapped clippy and rustfmt in pre-commit hooks
szg251 Oct 16, 2023
12e5514
Turn off offline flag for clippy
szg251 Oct 16, 2023
dc06598
Add custom error type for Rust lbr-prelude
szg251 Oct 16, 2023
41b23e9
Merge branch 'main' of github.com:mlabs-haskell/lambda-buffers into s…
szg251 Oct 17, 2023
252d927
Fix merge error
szg251 Oct 17, 2023
f8a9556
Remove dead code in lbr-prelude Rust build.nix
szg251 Oct 17, 2023
8584e9a
Merge branch 'szg251/rust-prelude' of github.com:mlabs-haskell/lambda…
szg251 Oct 17, 2023
5f2a9dd
Revert: offline flag for clippy
szg251 Oct 17, 2023
c7ee816
Remove dead nix code
szg251 Oct 17, 2023
f51e6de
Use crane instead of nci
szg251 Oct 17, 2023
8e339e8
Add cargo to runtime deps of rustfmt
szg251 Oct 17, 2023
1486b57
Address clippy suggestions
szg251 Oct 17, 2023
6e924a9
Use plain rustfmt instead of cargofmt
szg251 Oct 17, 2023
ec52e60
Merge pull request #113 from mlabs-haskell/szg251/rustfmt
szg251 Oct 18, 2023
33959dc
Use BTreeMap and BTreeSet instead of HashMap and HashSet
szg251 Oct 18, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .envrc
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
nix_direnv_watch_file ./pre-commit.nix
use flake .#default
3 changes: 2 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,5 @@ result
**/.spago
**/.spago2nix
**/dist
**/output
**/output
.DS_Store
20 changes: 20 additions & 0 deletions extras/pre-commit-hooks-extra.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{ inputs, ... }: {
imports = [
inputs.pre-commit-hooks.flakeModule # Adds perSystem.pre-commit options
];
perSystem = { pkgs, ... }:
let
rustfmt = pkgs.rust-bin.stable.latest.rustfmt;
in
{
pre-commit.settings.hooks = {
rustfmt-monorepo =
{
name = "rustfmt";
description = "Format Rust code.";
entry = "${rustfmt}/bin/rustfmt --color always";
files = "\\.rs$";
};
};
};
}
Loading