improved error message when rawnormalizer is used with a formula cont…

…aining _root_ expressions.
chriswestbrown · Jul 20, 2024 · 3887093 · 3887093
1 parent 2f3270a
commit 3887093
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/interpreter/src/formula/normalize.h b/interpreter/src/formula/normalize.h
@@ -115,6 +115,7 @@ class RawNormalizer : public TFPolyFun
   RawNormalizer(Normalizer* p) { normp = p; }
   void action(TConstObj* p) { res = p; }
   void action(TAtomObj* p) { res = normp->normalize(p); }
+  void action(TExtAtomObj* p) { throw TarskiException("RawNormalizer does not support _root_ expressions."); }
   void action(TAndObj* p) 
   { 
     // 1: split into two conjunctions - pure atomic formulas, and non-pure atomic formulas

diff --git a/interpreter/src/shell/einterpreter.cpp b/interpreter/src/shell/einterpreter.cpp
@@ -872,6 +872,7 @@ class CommSuggestVarOrder : public EICommand
     try {
       TFormRef F = args[0]->tar()->val;
       vector<VarSet> V = getBrownVariableOrder(F);
+
       LisRef res = new LisObj();
       for(int i = 0; i < V.size(); i++)
 	res->push_back(new SymObj(getPolyManagerPtr()->getName(V[i])));