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.

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
Show file tree
Hide file tree
Changes from all commits
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
4 changes: 2 additions & 2 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name: Main

on:
on:
pull_request:
branches:
- master
Expand All @@ -20,7 +20,7 @@ jobs:
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
toolchain: nightly-2024-07-07
components: rustfmt

- name: Install cargo-make
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,16 +20,16 @@ jobs:
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: stable
toolchain: 1.81.0

- name: Release zia
run: cargo package && cargo publish --token ${{secrets.CRATES_TOKEN}}
working-directory: ./zia

- name: Sleep for 30 seconds
uses: jakejarvis/wait-action@master
with:
time: '30s'
time: "30s"

- name: Release izia
run: cargo package && cargo publish --token ${{secrets.CRATES_TOKEN}}
Expand Down
23 changes: 10 additions & 13 deletions .github/workflows/website.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,35 +12,35 @@ jobs:
steps:
- name: Checkout sources
uses: actions/checkout@v1
- name: Install node v16
- name: Install node v18
uses: actions/setup-node@v4
with:
node-version: 16
node-version: 18

- name: Install nightly Rust and rustfmt
- name: Install stable Rust
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
components: rustfmt
toolchain: 1.81.0

- name: Install cargo-make
uses: davidB/rust-cargo-make@v1
with:
version: '0.35.1'
version: "0.35.1"

- name: Install wasm-pack
uses: jetli/[email protected]
with:
# Optional version of wasm-pack to install(eg. 'v0.9.1', 'latest')
version: 'latest'
version: "v0.13.0"

- name: Install Node dependencies
run: yarn
working-directory: ./zia-lang.org

- name: Build & prerender
run: yarn build:prerender
- name: Build
run: yarn build:release
env:
NODE_OPTIONS: --openssl-legacy-provider
working-directory: ./zia-lang.org

- name: Install Netlify CLI
Expand All @@ -53,6 +53,3 @@ jobs:
NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}
NETLIFY_ACCESS_TOKEN: ${{ secrets.NETLIFY_ACCESS_TOKEN }}
run: sudo netlify deploy -s $NETLIFY_SITE_ID --auth $NETLIFY_ACCESS_TOKEN -p --dir ./zia-lang.org/dist



Loading
Loading