fix a bug with unpack inversion

uiua-lang · Feb 26, 2024 · 53bcfdb · 53bcfdb
1 parent 8503864
commit 53bcfdb
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 8 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,7 @@ name = "uiua"
 readme = "readme.md"
 repository = "https://github.com/uiua-lang/uiua"
 rust-version = "1.75"
-version = "0.9.1"
+version = "0.9.2"
 
 [dependencies]
 # Core dependencies

diff --git a/changelog.md b/changelog.md
@@ -3,7 +3,12 @@
 Uiua is not yet stable.
 <!-- This version is not yet released. If you are reading this on the website, then these changes are live here. -->
 
+## 0.9.2 - 2024-02-25
+### Interpreter
+- Fix a bug involving patterns like `°°[…]`
+
 ## 0.9.1 - 2024-02-25
+### Crate
 - Improve Rust library API for getting bindings' values
 
 ## 0.9.0 - 2024-02-25

diff --git a/src/algorithm/invert.rs b/src/algorithm/invert.rs
@@ -95,8 +95,6 @@ pub(crate) fn invert_instrs(instrs: &[Instr], comp: &mut Compiler) -> Option<Eco
  return Some(EcoVec::new());
  }
 
- // println!("inverting {:?}", instrs);
-
  let patterns: &[&dyn InvertPattern] = &[
  &invert_call_pattern,
  &invert_dump_pattern,
@@ -132,6 +130,8 @@ pub(crate) fn invert_instrs(instrs: &[Instr], comp: &mut Compiler) -> Option<Eco
  &invert_temp_pattern,
  ];
 
+ // println!("inverting {:?}", instrs);
+
  let mut inverted = EcoVec::new();
  let mut curr_instrs = instrs;
  'find_pattern: loop {
@@ -1116,7 +1116,7 @@ fn invert_unpack_pattern<'a>(
  span: *span,
  boxed: *unbox,
  });
- Some((input, instrs))
+ Some((&[], instrs))
 }
 
 fn under_unpack_pattern<'a>(

diff --git a/tests/under.ua b/tests/under.ua
@@ -130,6 +130,8 @@
 ⍤⟜≍: ⊃(⍜°⊟+|⍜°[⊙∘]+) [1 2] 4
 ⍤⟜≍: [¯1 ¯2 ¯3] [⍜[⊙⊙∘]¯ 1 2 3]
 ⍤⟜≍: [¯1 ¯2 ¯3 ¯4] [⍜[⊙⊙⊙∘]¯ 1 2 3 4]
+⍤⟜≍: [1 2 3] ⍜[+1]∘ [1 2 3]
+⍤⟜≍: [[2 3 4]] °°[+1] [1 2 3]
 
 ⍤⟜≍: ¯18 ⍜(⍥(+1)4)¯ 10
 ⍤⟜≍: ¯18 ⍜⍥(+1)¯ 4 10

diff --git a/tests/units.ua b/tests/units.ua
@@ -306,9 +306,6 @@ G ← (⚂)
 ⍤⟜≍: 1 ⧻◴ [F F F]
 ⍤⟜≍: 3 ⧻◴ [G G G]
 
-# Unique
-⍤⟜≍: 1 1
-
 # Macros
 F! ← ^!5
 G! ← F!^!