X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FDX%2FStep%2FResolveProposition.pm;fp=lib%2FDX%2FStep%2FResolveProposition.pm;h=7c7a454495cb33463f7eff02ca53c1a6e4452ac2;hb=4e1bf3a624d222f2f8ffd196c1f8db577e1f2ca9;hp=6cf99b91e78bdd09dbf06a76bebf47de86da3082;hpb=353951dc21147a4a4e65ffa611076e44f8028130;p=scpubgit%2FDX.git

diff --git a/lib/DX/Step/ResolveProposition.pm b/lib/DX/Step/ResolveProposition.pm
index 6cf99b9..7c7a454 100644
--- a/lib/DX/Step/ResolveProposition.pm
+++ b/lib/DX/Step/ResolveProposition.pm
@@ -56,6 +56,9 @@ sub apply_to {
   (my $hyp, my @recheck) = $old_hyp->with_resolution(
     $prop, $vdeps, $res->actions
   );
+  # Failure to have a $hyp here means an action was disallowed by policy
+  # or failed - unsure if "failed" should be permitted and unsure if policy
+  # checks belong in with_resolution
   unless ($hyp) {
     return $old_ss->but(
       next_step