Develop

.github/workflows/ci.yml

@@ -0,0 +1,53 @@
+name: CI
+
+on:
+  push:
+    branches: [main, develop]
+  pull_request:
+    branches: [main, develop]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  test:
+    name: Test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Cache cargo
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cargo/bin/
+            ~/.cargo/registry/index/
+            ~/.cargo/registry/cache/
+            ~/.cargo/git/db/
+            target/
+          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Run tests
+        run: cargo test --workspace
+        continue-on-error: true
+
+      - name: Check formatting
+        run: cargo fmt --all -- --check
+
+      - name: Clippy
+        run: cargo clippy --workspace
+
+  build-check:
+    name: Build Check
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Build
+        run: cargo build --release

.github/workflows/release.yml

@@ -0,0 +1,153 @@
+name: Release
+
+on:
+  push:
+    tags:
+      - 'v*'
+
+env:
+  CARGO_TERM_COLOR: always
+  BINARY_NAME: typr
+
+permissions:
+  contents: write
+
+jobs:
+  build:
+    name: Build ${{ matrix.target }}
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          # Linux
+          - target: x86_64-unknown-linux-gnu
+            os: ubuntu-latest
+            archive: tar.gz
+          - target: aarch64-unknown-linux-gnu
+            os: ubuntu-latest
+            archive: tar.gz
+            cross: true
+
+          # Windows
+          - target: x86_64-pc-windows-msvc
+            os: windows-latest
+            archive: zip
+          - target: aarch64-pc-windows-msvc
+            os: windows-latest
+            archive: zip
+
+          # macOS
+          - target: x86_64-apple-darwin
+            os: macos-latest
+            archive: tar.gz
+          - target: aarch64-apple-darwin
+            os: macos-latest
+            archive: tar.gz
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          targets: ${{ matrix.target }}
+
+      - name: Install cross (Linux ARM)
+        if: matrix.cross
+        run: cargo install cross --git https://github.com/cross-rs/cross
+
+      - name: Build (cross)
+        if: matrix.cross
+        run: cross build --release --target ${{ matrix.target }}
+
+      - name: Build (native)
+        if: ${{ !matrix.cross }}
+        run: cargo build --release --target ${{ matrix.target }}
+
+      - name: Prepare artifacts (Unix)
+        if: matrix.os != 'windows-latest'
+        run: |
+          cd target/${{ matrix.target }}/release
+          tar -czvf ../../../${{ env.BINARY_NAME }}-${{ github.ref_name }}-${{ matrix.target }}.tar.gz ${{ env.BINARY_NAME }}
+
+      - name: Prepare artifacts (Windows)
+        if: matrix.os == 'windows-latest'
+        shell: pwsh
+        run: |
+          cd target/${{ matrix.target }}/release
+          Compress-Archive -Path ${{ env.BINARY_NAME }}.exe -DestinationPath ../../../${{ env.BINARY_NAME }}-${{ github.ref_name }}-${{ matrix.target }}.zip
+
+      - name: Upload artifacts
+        uses: actions/upload-artifact@v4
+        with:
+          name: ${{ env.BINARY_NAME }}-${{ matrix.target }}
+          path: ${{ env.BINARY_NAME }}-${{ github.ref_name }}-${{ matrix.target }}.${{ matrix.archive }}
+
+  release:
+    name: Create Release
+    needs: build
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Download all artifacts
+        uses: actions/download-artifact@v4
+        with:
+          path: artifacts
+          merge-multiple: true
+
+      - name: Generate checksums
+        run: |
+          cd artifacts
+          sha256sum * > checksums.txt
+          cat checksums.txt
+
+      - name: Create Release
+        uses: softprops/action-gh-release@v2
+        with:
+          files: |
+            artifacts/*
+          generate_release_notes: true
+          draft: false
+          prerelease: ${{ contains(github.ref_name, 'alpha') || contains(github.ref_name, 'beta') || contains(github.ref_name, 'rc') }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+  build-wasm:
+    name: Build WASM
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          targets: wasm32-unknown-unknown
+
+      - name: Install wasm-pack
+        run: curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
+
+      - name: Build WASM
+        run: wasm-pack build --release --target web crates/typr-wasm
+
+      - name: Prepare WASM artifacts
+        run: |
+          mkdir -p wasm-dist
+          cp crates/typr-wasm/pkg/*.wasm wasm-dist/
+          cp crates/typr-wasm/pkg/*.js wasm-dist/
+          cd wasm-dist
+          tar -czvf ../typr-wasm-${{ github.ref_name }}.tar.gz *
+
+      - name: Upload WASM artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: typr-wasm
+          path: typr-wasm-${{ github.ref_name }}.tar.gz
+
+      - name: Add WASM to Release
+        uses: softprops/action-gh-release@v2
+        with:
+          files: typr-wasm-${{ github.ref_name }}.tar.gz
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.repl.R

@@ -0,0 +1,30 @@
+source('a_std.R')
+Array0 <- function(x) x |> struct(c('Array0', 'Array0', 'Any'))
+Function2 <- function(x) x |> struct(c('Function2', 'Function2', 'Any'))
+Function2 <- function(x) x |> struct(c('Function2', 'Function2', 'Any'))
+Function2 <- function(x) x |> struct(c('Function2', 'Function2', 'Any'))
+Function2 <- function(x) x |> struct(c('Function2', 'Function2', 'Any'))
+Function2 <- function(x) x |> struct(c('Function2', 'Function2', 'Any'))
+Function3 <- function(x) x |> struct(c('Function3', 'Function3', 'Any'))
+Function3 <- function(x) x |> struct(c('Function3', 'Function3', 'Any'))
+Function3 <- function(x) x |> struct(c('Function3', 'Function3', 'Any'))
+Empty0 <- function(x) x |> struct(c('Empty0', 'Empty0', 'Any'))
+Function1 <- function(x) x |> struct(c('Function1', 'Function1', 'Any'))
+Function1 <- function(x) x |> struct(c('Function1', 'Function1', 'Any'))
+Function1 <- function(x) x |> struct(c('Function1', 'Function1', 'Any'))
+Function0 <- function(x) x |> struct(c('Function0', 'Function0', 'Any'))
+Generic <- function(x) x |> struct(c('Generic', 'Generic', 'Any'))
+Integer <- function(x) x |> struct(c('Integer', 'integer', 'Any'))
+Character <- function(x) x |> struct(c('Character', 'character', 'Any'))
+Number <- function(x) x |> struct(c('Number', 'numeric', 'Any'))
+Boolean <- function(x) x |> struct(c('Boolean', 'logical', 'Any'))#' @export
+expect_equal <- function(x, ...) UseMethod('expect_equal', x)
+#' @export
+reduce <- function(x, ...) UseMethod('reduce', x)
+#' @export
+sum <- function(x, ...) UseMethod('sum', x)
+#' @export
+expect_false <- function(x, ...) UseMethod('expect_false', x)
+
+
+vec_apply(`+`, 1L |> Integer(), typed_vec(1L |> Integer(), 2L |> Integer(), 3L |> Integer()) |> Generic())