Skip to content

Use GAT instead of macros and traits #84

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.

Sign up for GitHub

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

Open
wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Use GAT instead of macros and traits #84

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
9c981f5
Use GAT instead of macros and traits
Charles-Johnson Jan 31, 2025
6cb125f
Get verify service to pass
Charles-Johnson Feb 3, 2025
d3428fb
Remove need for VariableMaskList trait
Charles-Johnson Feb 15, 2025
3e1276d
Remove unnecessary ReductionReason trait
Charles-Johnson Feb 15, 2025
55dfc50
Try to fix website workflow
Charles-Johnson Feb 15, 2025
5113413
Strip debug symbols in release
Charles-Johnson Feb 15, 2025
2b9d45d
Stop trying to prerender after compiling release website
Charles-Johnson Feb 15, 2025
d758cdb
Compile website with stable rust
Charles-Johnson Feb 15, 2025
3174e07
Lock version of cargo make
Charles-Johnson Mar 16, 2025
22c34a8
Attempt to refactor lexing of commands
Charles-Johnson Mar 16, 2025
b32ab8a
Pin version of neovim to fix telescope
Charles-Johnson Apr 5, 2025
613d16f
Remove need for SyntaxTree trait
Charles-Johnson Apr 20, 2025
5352283
Fixing nested syntax. Wrote unit test to isolate bug
Charles-Johnson Apr 20, 2025
47f5f91
Fix nesting algorithm
Charles-Johnson Apr 20, 2025
33ccab6
Removed unused imports
Charles-Johnson Apr 20, 2025
6f83874
Fix all tests for zia crate. Relationships tutorial test took too long
Charles-Johnson Apr 20, 2025
68c9d1e
Remove deadcode
Charles-Johnson Apr 20, 2025
ffd5275
Replace precedence and default concepts with preceeds
Charles-Johnson Jul 13, 2025
5986bdc
Provide more context in redundant reduction errors
Charles-Johnson Jul 13, 2025
12f35a8
Fix test
Charles-Johnson Jul 13, 2025
3bad6f1
Fix format issues
Charles-Johnson Jul 13, 2025
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
7 changes: 7 additions & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 6 additions & 2 deletions docker-compose.nvim.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ services:
volumes:
- .:/usr/src
- /tmp/.X11-unix:/tmp/.X11-unix
- /home/charles/SideProjects/zia_programming/target:/usr/src/target
command:
[
"sh",
Expand All @@ -23,14 +24,15 @@ services:
volumes:
- .:/usr/src
- /tmp/.X11-unix:/tmp/.X11-unix
- /home/charles/SideProjects/zia_programming/target:/usr/src/target
command:
[
"sh",
"-c",
"rsync -avzh /home/node/.cargo /usr/src/.cargo && cargo make --no-workspace test",
"rsync -avzh /home/node/.cargo /usr/src/.cargo && ls -al target && cargo make --no-workspace test",
]
working_dir: /usr/src
user: ${UID:-1000}:${GID:-1000}
working_dir: /usr/src
verify:
environment:
- CARGO_HOME=/usr/src/.cargo
Expand All @@ -39,6 +41,7 @@ services:
volumes:
- .:/usr/src
- /tmp/.X11-unix:/tmp/.X11-unix
- /home/charles/SideProjects/zia_programming/target:/usr/src/target
command:
[
"sh",
Expand All @@ -55,6 +58,7 @@ services:
volumes:
- .:/usr/src
- /tmp/.X11-unix:/tmp/.X11-unix
- /home/charles/SideProjects/zia_programming/target:/usr/src/target
command:
[
"sh",
Expand Down
1 change: 1 addition & 0 deletions nvim/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,3 +48,4 @@ RUN rustup component add rustfmt --toolchain nightly
RUN cargo install --force cargo-readme
RUN git config --global user.email "[email protected]"
RUN git config --global user.name "Charle Johnson"

1 change: 1 addition & 0 deletions zia/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,3 +36,4 @@ simple_logger = "1.15.0"
[dev-dependencies]
proptest = "0.9.1"
pretty_assertions = "1.4.0"
assert_matches = "*"
Loading
Loading