From 403dc37f9a6aa664c0c6e5c00972790cc1916bde Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Sun, 6 Dec 2020 20:42:05 +0100
Subject: [PATCH] chore: further suggestions for workflow lint

---
 src/Utils/Workflow/Lint.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Utils/Workflow/Lint.hs b/src/Utils/Workflow/Lint.hs
index d125237cd..df1937c5a 100644
--- a/src/Utils/Workflow/Lint.hs
+++ b/src/Utils/Workflow/Lint.hs
@@ -44,11 +44,11 @@ instance Exception WorkflowGraphLinterIssue where
 lintWorkflowGraph :: forall fileid userid. WorkflowGraph fileid userid -> Maybe (NonNull (Set WorkflowGraphLinterIssue))
 lintWorkflowGraph graph = fromNullable . Set.fromList $ concatMap ($ graph)
   [ checkEdgesForUnknownGraphNodeLabel
-  , checkFormPayloadVisibleInTargetNode
+  , checkFormPayloadVisibleInTargetNode -- TODO: Satisfiability of automatic edges?
   , finalMatchesOutgoingEdges
   , checkUndefinedFieldOrder
-  , checkNodeUnreachable
-  , checkNodeUnfinalizable
+  , checkNodeUnreachable -- TODO: Satisfiability of automatic edges
+  , checkNodeUnfinalizable -- TODO: Satisfiability of automatic edges
     -- Future ideas:
     --   - WorkflowRolePayloadReference for unknown payload
     --   - wgePayloadRestriction for unknown payload