# HG changeset patch
# User wenzelm
# Date 1549631180 -3600
# Node ID 0f2dc49250fb60c41ddfdc556e4250379e0eb5a0
# Parent  d21789843f01bb6f6b73bc36de0881a62736234e
more Haskell operations;

diff -r d21789843f01 -r 0f2dc49250fb src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Mon Feb 04 19:05:52 2019 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Fri Feb 08 14:06:20 2019 +0100
@@ -626,6 +626,24 @@
 (comment3N, comment3) = markup_elem \<open>Markup.comment3N\<close>
 
 
+{- command status -}
+
+acceptedN, forkedN, joinedN, runningN, finishedN, failedN, canceledN,
+  initializedN, finalizedN, consolidatedN :: String
+accepted, forked, joined, running, finished, failed, canceled,
+  initialized, finalized, consolidated :: T
+(acceptedN, accepted) = markup_elem \<open>Markup.acceptedN\<close>
+(forkedN, forked) = markup_elem \<open>Markup.forkedN\<close>
+(joinedN, joined) = markup_elem \<open>Markup.joinedN\<close>
+(runningN, running) = markup_elem \<open>Markup.runningN\<close>
+(finishedN, finished) = markup_elem \<open>Markup.finishedN\<close>
+(failedN, failed) = markup_elem \<open>Markup.failedN\<close>
+(canceledN, canceled) = markup_elem \<open>Markup.canceledN\<close>
+(initializedN, initialized) = markup_elem \<open>Markup.initializedN\<close>
+(finalizedN, finalized) = markup_elem \<open>Markup.finalizedN\<close>
+(consolidatedN, consolidated) = markup_elem \<open>Markup.consolidatedN\<close>
+
+
 {- messages -}
 
 writelnN :: String; writeln :: T