diff --git a/tools/pate-repl/Repl.hs b/tools/pate-repl/Repl.hs index 9a48668b..b592e479 100644 --- a/tools/pate-repl/Repl.hs +++ b/tools/pate-repl/Repl.hs @@ -478,6 +478,7 @@ prettyNextNodes startAt onlyFinished = do , PO.outPP = pp , PO.outDuration = duration , PO.outFinished = isFinished b + , PO.outIsBlocked = isBlockedStatus b , PO.outSuffix = suf , PO.outMoreResults = nesting < 0 , PO.outJSON = json @@ -493,6 +494,7 @@ prettyNextNodes startAt onlyFinished = do , PO.outPP = "" , PO.outDuration = duration , PO.outFinished = isFinished b + , PO.outIsBlocked = isBlockedStatus b , PO.outSuffix = Nothing , PO.outMoreResults = nesting < 0 , PO.outJSON = json diff --git a/tools/pate/Output.hs b/tools/pate/Output.hs index 3f01e2ee..1f55c5fd 100644 --- a/tools/pate/Output.hs +++ b/tools/pate/Output.hs @@ -48,6 +48,7 @@ data OutputElem = , outDuration :: Maybe (PP.Doc ()) , outPP :: PP.Doc () , outJSON :: JSON.Value + , outIsBlocked :: Bool , outSuffix :: Maybe (PP.Doc ()) , outMoreResults :: Bool -- ^ more results at this nesting level that were omitted @@ -194,6 +195,7 @@ outputElemJSON e = [ "index" .= outIdx e , "indent" .= outIndent e , "finished" .= outFinished e + , "blocked" .= outIsBlocked e , "pretty" .= show (outPP e) , "content" .= outJSON e , "more" .= outMoreResults e