Merge pull request #245 from HigherOrderCO/bug/sc-525/float-combinato…

…rs-not-extracting-some-terms [sc-525] Float combinators not extracting some terms
HigherOrderCO · Mar 29, 2024 · 817aec9 · 817aec9
2 parents a341acc + 30d7888
commit 817aec9
Show file tree

Hide file tree

Showing 23 changed files with 257 additions and 303 deletions.
diff --git a/cspell.json b/cspell.json
@@ -45,6 +45,7 @@
     "namegen",
     "nams",
     "nats",
+    "nullary",
     "numop",
     "nums",
     "oper",
@@ -54,6 +55,7 @@
     "peekable",
     "postcondition",
     "readback",
+    "recursively",
     "redex",
     "redexes",
     "resugar",

diff --git a/src/term/mod.rs b/src/term/mod.rs
@@ -231,6 +231,7 @@ pub struct Name(GlobalString);
 /// A macro for creating iterators that can have statically known
 /// different types. Useful for iterating over tree children, where
 /// each tree node variant yields a different iterator type.
+#[macro_export]
 macro_rules! multi_iterator {
   ($Iter:ident { $($Variant:ident),* $(,)? }) => {
     #[derive(Debug, Clone)]