fix missing kseq

kframework · Mar 27, 2020 · cb00bae · cb00bae
1 parent 6e7a52c
commit cb00bae
Showing 1 changed file with 24 additions and 7 deletions.
diff --git a/clang-tools/ClangKast/ClangKast.cc b/clang-tools/ClangKast/ClangKast.cc
@@ -294,14 +294,31 @@ string Kast::KToken::escape(const string & str) {
 // *** Kast::KSequence
 
 void Kast::KSequence::print(Sort parentSort, function<void (Sort)> printChild) const {
-  if (size == 0) {
-    cout << (Kore ? "dotk{}()" : ".K");
-  }
-  for (int i = 0; i < size; i++) {
-    printChild(Sort::KITEM);
-    if (i != size - 1) {
-      cout << (Kore ? ", " : "~>");
+
+  if (Kore) {
+    for (int i = 0; i < size; i++) {
+      cout << "kseq{}(";
+      printChild(Sort::KITEM);
+      cout << ", ";
+    }
+
+    cout << "dotk{}()";
+
+    for (int i = 0; i < size; i++) {
+      cout << ")";
     }
+
+  } else {
+    if (size == 0) {
+      cout << ".K";
+    }
+    for (int i = 0; i < size; i++) {
+      printChild(Sort::KITEM);
+      if (i != size - 1) {
+        cout << "~>";
+      }
+    }
+
   }
 }