rotation and mirroring

giovinazzo-kevin · May 9, 2024 · 01898cc · 01898cc
1 parent 9956dba
commit 01898cc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Ergo/Interpreter/Libraries/Expansions/Expansions.cs b/Ergo/Interpreter/Libraries/Expansions/Expansions.cs
@@ -164,6 +164,12 @@ public IEnumerable<Either<ExpansionResult, ITerm>> ExpandTerm(ITerm term, Interp
     {
         if (term is Variable)
             yield break;
+        // Special case: don't expand huge terms
+        if (term is Lang.Ast.List { Contents: { Length: var len } }
+            && len > 50)
+        {
+            yield break;
+        }
         // If this is an abstract term we expand it through its canonical form, then we parse the result again
         // through its owner parser.
         if (term is AbstractTerm abs)