Skip to content

Commit 17ffda1

Browse files
committed
Paper over the Sampling->Init context stack (pending removal of SamplingContext)
1 parent 949e9ba commit 17ffda1

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

src/context_implementations.jl

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,11 @@ 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(::Random.AbstractRNG, ::InitContext, sampler, right, vn, vi)
32+
return error(
33+
"Encountered SamplingContext->InitContext. This method will be removed in the next PR.",
34+
)
35+
end
3136
function tilde_assume(::DefaultContext, sampler, right, vn, vi)
3237
# same as above but no rng
3338
return assume(Random.default_rng(), sampler, right, vn, vi)

0 commit comments

Comments
 (0)