Skip to content

Commit aab8146

Browse files
committed
Paper over the Sampling->Init context stack (pending removal of SamplingContext)
1 parent 46e9e63 commit aab8146

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/context_implementations.jl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,10 @@ end
2828
function tilde_assume(rng::Random.AbstractRNG, ::DefaultContext, sampler, right, vn, vi)
2929
return assume(rng, sampler, right, vn, vi)
3030
end
31+
function tilde_assume(rng::Random.AbstractRNG, ::InitContext, sampler, right, vn, vi)
32+
@warn "Encountered SamplingContext->InitContext. This will be removed in the next PR."
33+
return assume(rng, sampler, right, vn, vi)
34+
end
3135
function tilde_assume(::DefaultContext, sampler, right, vn, vi)
3236
# same as above but no rng
3337
return assume(Random.default_rng(), sampler, right, vn, vi)

0 commit comments

Comments
 (0)