@@ -154,31 +154,23 @@ end
154
154
# context, and then call check_adtype on the result before returning the results from the
155
155
# child context.
156
156
157
- function DynamicPPL. tilde_assume (context:: ADTypeCheckContext , right, vn, vi)
158
- value, vi = DynamicPPL. tilde_assume (DynamicPPL. childcontext (context), right, vn, vi)
159
- check_adtype (context, vi)
160
- return value, vi
161
- end
162
-
163
- function DynamicPPL. tilde_assume (
164
- rng:: Random.AbstractRNG , context:: ADTypeCheckContext , sampler, right, vn, vi
157
+ function DynamicPPL. tilde_assume!! (
158
+ context:: ADTypeCheckContext , right:: Distribution , vn:: VarName , vi:: AbstractVarInfo
165
159
)
166
- value, vi = DynamicPPL. tilde_assume (
167
- rng, DynamicPPL. childcontext (context), sampler, right, vn, vi
168
- )
160
+ value, vi = DynamicPPL. tilde_assume!! (DynamicPPL. childcontext (context), right, vn, vi)
169
161
check_adtype (context, vi)
170
162
return value, vi
171
163
end
172
164
173
- function DynamicPPL. tilde_observe!! (context :: ADTypeCheckContext , right, left, vi)
174
- left, vi = DynamicPPL . tilde_observe!! (DynamicPPL . childcontext ( context), right, left, vi)
175
- check_adtype (context, vi)
176
- return left, vi
177
- end
178
-
179
- function DynamicPPL . tilde_observe!! (context :: ADTypeCheckContext , sampler, right, left, vi )
165
+ function DynamicPPL. tilde_observe!! (
166
+ context:: ADTypeCheckContext ,
167
+ right :: Distribution ,
168
+ left,
169
+ vn :: Union{VarName,Nothing} ,
170
+ vi :: AbstractVarInfo ,
171
+ )
180
172
left, vi = DynamicPPL. tilde_observe!! (
181
- DynamicPPL. childcontext (context), sampler, right, left, vi
173
+ DynamicPPL. childcontext (context), right, left, vn , vi
182
174
)
183
175
check_adtype (context, vi)
184
176
return left, vi
0 commit comments