342 keyword1N, keyword1, keyword2N, keyword2, keyword3N, keyword3, quasi_keywordN, quasi_keyword, |
342 keyword1N, keyword1, keyword2N, keyword2, keyword3N, keyword3, quasi_keywordN, quasi_keyword, |
343 improperN, improper, operatorN, operator, stringN, string, alt_stringN, alt_string, |
343 improperN, improper, operatorN, operator, stringN, string, alt_stringN, alt_string, |
344 verbatimN, verbatim, cartoucheN, cartouche, commentN, comment, comment1N, comment1, |
344 verbatimN, verbatim, cartoucheN, cartouche, commentN, comment, comment1N, comment1, |
345 comment2N, comment2, comment3N, comment3, |
345 comment2N, comment2, comment3N, comment3, |
346 |
346 |
347 acceptedN, accepted, forkedN, forked, joinedN, joined, runningN, running, finishedN, finished, |
347 forkedN, forked, joinedN, joined, runningN, running, finishedN, finished, |
348 failedN, failed, canceledN, canceled, initializedN, initialized, finalizedN, finalized, |
348 failedN, failed, canceledN, canceled, initializedN, initialized, finalizedN, finalized, |
349 consolidatedN, consolidated, |
349 consolidatedN, consolidated, |
350 |
350 |
351 writelnN, writeln, stateN, state, informationN, information, tracingN, tracing, |
351 writelnN, writeln, stateN, state, informationN, information, tracingN, tracing, |
352 warningN, warning, legacyN, legacy, errorN, error, reportN, report, no_reportN, no_report, |
352 warningN, warning, legacyN, legacy, errorN, error, reportN, report, no_reportN, no_report, |
627 (comment3N, comment3) = markup_elem \<open>Markup.comment3N\<close> |
627 (comment3N, comment3) = markup_elem \<open>Markup.comment3N\<close> |
628 |
628 |
629 |
629 |
630 {- command status -} |
630 {- command status -} |
631 |
631 |
632 acceptedN, forkedN, joinedN, runningN, finishedN, failedN, canceledN, |
632 forkedN, joinedN, runningN, finishedN, failedN, canceledN, |
633 initializedN, finalizedN, consolidatedN :: String |
633 initializedN, finalizedN, consolidatedN :: String |
634 accepted, forked, joined, running, finished, failed, canceled, |
634 forked, joined, running, finished, failed, canceled, |
635 initialized, finalized, consolidated :: T |
635 initialized, finalized, consolidated :: T |
636 (acceptedN, accepted) = markup_elem \<open>Markup.acceptedN\<close> |
|
637 (forkedN, forked) = markup_elem \<open>Markup.forkedN\<close> |
636 (forkedN, forked) = markup_elem \<open>Markup.forkedN\<close> |
638 (joinedN, joined) = markup_elem \<open>Markup.joinedN\<close> |
637 (joinedN, joined) = markup_elem \<open>Markup.joinedN\<close> |
639 (runningN, running) = markup_elem \<open>Markup.runningN\<close> |
638 (runningN, running) = markup_elem \<open>Markup.runningN\<close> |
640 (finishedN, finished) = markup_elem \<open>Markup.finishedN\<close> |
639 (finishedN, finished) = markup_elem \<open>Markup.finishedN\<close> |
641 (failedN, failed) = markup_elem \<open>Markup.failedN\<close> |
640 (failedN, failed) = markup_elem \<open>Markup.failedN\<close> |