Promote 20260422

.github/workflows/check.yaml

@@ -1,107 +1,47 @@
 name: check
 
 on:
-  workflow_dispatch:
   push:
     branches:
       - master
-      - main
-
+      - main   
   pull_request:
 
 jobs:
   check:
-    strategy:
-      matrix:
-        version: [stable]
-        os:
-          - ubuntu-latest
-          - macos-latest
-          - windows-latest
-    runs-on: ${{ matrix.os }}
+    strategy:    
+      fail-fast: false
+    runs-on: ubuntu-latest
+    continue-on-error: false
     steps:
       - uses: actions/checkout@v4
         with:
-          fetch-depth: 1
-      
-      - name: Setup Moon
-        uses: illusory0x0/setup-moonbit@v0.1.0
-        with: 
-          version: ${{ matrix.version }}
+          submodules: 'recursive'
+
+      - name: install
+        run: |
+          curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
+          echo "$HOME/.moon/bin" >> $GITHUB_PATH
 
       - name: moon version
         run: |
           moon version --all
 
-      - name: install module dependencies
+      - name: moon check
         run: |
           moon update
-          moon install
-
-      - name: moon check
-        run: moon check --deny-warn
+          moon check --deny-warn
 
       - name: moon info
         run: |
           moon info --target all
           git diff --exit-code
 
-      - name: moon fmt
+      - name: format diff
         run: |
           moon fmt
           git diff --exit-code
 
-      - name: Setup MSVC
-        if: ${{ runner.os == 'Windows' }}
-        uses: ilammy/msvc-dev-cmd@v1
-
-      - name: Set ulimit on unix
-        if: ${{ runner.os != 'Windows' }}
-        run: |
-          ulimit -s 8176
-
       - name: moon test
         run: |
-          moon test --target all
-          moon test --target all --release
-
-  moon-json-format-check:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-
-      - name: check `moon.*.json` format
-        shell: bash
-        run: |
-          _passed=0;
-          for f in $(find . -type f -name "moon.*.json"); do
-            if ! jq '.' $f > /dev/null; then
-              echo $f;
-              _passed=1;
-            fi
-          done
-          (exit $_passed)
-
-  prettier:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-node@v4
-      - run: |
-          npm install --global prettier;
-          find . -name *.mod.json -exec npx prettier --write {} \;
-          find . -name *.pkg.json -exec npx prettier --write {} \;
-          git diff --exit-code;
-
-  check-typos:
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-
-      - name: AutoCorrect
-        uses: huacnlee/autocorrect-action@v2
-
-      - name: typos-action
-        uses: crate-ci/typos@v1.31.1
+          moon test --target all

.gitignore

@@ -1,5 +1,6 @@
 target/
 .mooncakes/
+_build/
 .DS_Store
 .vscode/
-.moonagent/
+.moonagent/

src/algorithms/capture.mbt

@@ -79,7 +79,7 @@ pub impl DiffHook for Capture with equal(
   new_index : Int,
   len : Int,
 ) -> Result[Unit, Error] {
-  self.0.push(DiffOp::Equal(old_index~, new_index~, len~))
+  self.0.push(Equal(old_index~, new_index~, len~))
   Ok(())
 }
 
@@ -95,7 +95,7 @@ pub impl DiffHook for Capture with delete(
   old_len : Int,
   new_index : Int,
 ) -> Result[Unit, Error] {
-  self.0.push(DiffOp::Delete(old_index~, old_len~, new_index~))
+  self.0.push(Delete(old_index~, old_len~, new_index~))
   Ok(())
 }
 
@@ -111,7 +111,7 @@ pub impl DiffHook for Capture with insert(
   new_index : Int,
   new_len : Int,
 ) -> Result[Unit, Error] {
-  self.0.push(DiffOp::Insert(old_index~, new_index~, new_len~))
+  self.0.push(Insert(old_index~, new_index~, new_len~))
   Ok(())
 }
 
@@ -129,7 +129,7 @@ pub impl DiffHook for Capture with replace(
   new_index : Int,
   new_len : Int,
 ) -> Result[Unit, Error] {
-  self.0.push(DiffOp::Replace(old_index~, old_len~, new_index~, new_len~))
+  self.0.push(Replace(old_index~, old_len~, new_index~, new_len~))
   Ok(())
 }
 
@@ -160,13 +160,10 @@ pub fn Capture::sort(self : Capture) -> Unit {
   /// Helper function to extract sorting keys from operations
   fn get_old_new_index(op : DiffOp) -> (Int, Int)? {
     match op {
-      DiffOp::Equal(old_index~, new_index~, len=_) =>
-        Some((old_index, new_index))
-      DiffOp::Delete(old_index~, old_len=_, new_index~) =>
-        Some((old_index, new_index))
-      DiffOp::Insert(old_index~, new_index~, new_len=_) =>
-        Some((old_index, new_index))
-      DiffOp::Replace(old_index~, old_len=_, new_index~, new_len=_) =>
+      Equal(old_index~, new_index~, len=_) => Some((old_index, new_index))
+      Delete(old_index~, old_len=_, new_index~) => Some((old_index, new_index))
+      Insert(old_index~, new_index~, new_len=_) => Some((old_index, new_index))
+      Replace(old_index~, old_len=_, new_index~, new_len=_) =>
         Some((old_index, new_index))
     }
   }