src/Tools/Haskell/Haskell.thy

--- a/src/Tools/Haskell/Haskell.thy	Mon Sep 15 22:36:04 2025 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Mon Sep 15 22:50:32 2025 +0200
@@ -764,7 +764,7 @@
 
   forkedN, forked, joinedN, joined, runningN, running, finishedN, finished,
   failedN, failed, canceledN, canceled, initializedN, initialized, finalizedN, finalized,
-  consolidatedN, consolidated,
+  consolidatingN, consolidating, consolidatedN, consolidated,
 
   writelnN, writeln, stateN, state, informationN, information, tracingN, tracing,
   warningN, warning, legacyN, legacy, errorN, error, reportN, report, no_reportN, no_report,
@@ -1156,7 +1156,7 @@
 {- command status -}
 
 forkedN, joinedN, runningN, finishedN, failedN, canceledN,
-  initializedN, finalizedN, consolidatedN :: Bytes
+  initializedN, finalizedN, consolidatingN, consolidatedN :: Bytes
 forkedN = \<open>Markup.forkedN\<close>
 joinedN = \<open>Markup.joinedN\<close>
 runningN = \<open>Markup.runningN\<close>
@@ -1165,10 +1165,11 @@
 canceledN = \<open>Markup.canceledN\<close>
 initializedN = \<open>Markup.initializedN\<close>
 finalizedN = \<open>Markup.finalizedN\<close>
+consolidatingN = \<open>Markup.consolidatingN\<close>
 consolidatedN = \<open>Markup.consolidatedN\<close>
 
 forked, joined, running, finished, failed, canceled,
-  initialized, finalized, consolidated :: T
+  initialized, finalized, consolidating, consolidated :: T
 forked = markup_elem forkedN
 joined = markup_elem joinedN
 running = markup_elem runningN
@@ -1177,6 +1178,7 @@
 canceled = markup_elem canceledN
 initialized = markup_elem initializedN
 finalized = markup_elem finalizedN
+consolidating = markup_elem consolidatingN
 consolidated = markup_elem consolidatedN