Commit | Line | Data |
---|---|---|
9d759b64 | 1 | package DX::Resolution; |
2 | ||
3 | use DX::Class; | |
4 | ||
5 | has proposition => (is => 'ro', required => 1); | |
6 | ||
7 | has dependencies => (is => 'ro', required => 1); | |
8 | ||
9 | has scope_depth => (is => 'ro', required => 1); | |
10 | ||
11 | sub but_recheck_against { | |
12 | my ($self, $hyp) = @_; | |
13 | my $scope_hyp = $hyp->but( | |
14 | scope => $hyp->scope->prune_to($self->scope_depth) | |
15 | ); | |
16 | } | |
17 | ||
18 | 1; |