|
9 | 9 | end |
10 | 10 | end |
11 | 11 | model = demo1() |
12 | | - @test DynamicPPL.determine_varinfo(model; verbose=true) isa DynamicPPL.UntypedVarInfo |
| 12 | + @test DynamicPPL.determine_varinfo(model; verbose=true) isa |
| 13 | + DynamicPPL.UntypedVarInfo |
13 | 14 |
|
14 | 15 | @model demo2() = x ~ Normal() |
15 | 16 | @test DynamicPPL.determine_varinfo(demo2()) isa DynamicPPL.TypedVarInfo |
|
24 | 25 | z ~ Normal() |
25 | 26 | end |
26 | 27 | end |
27 | | - @test DynamicPPL.determine_varinfo(demo3(); verbose=true) isa DynamicPPL.UntypedVarInfo |
| 28 | + @test DynamicPPL.determine_varinfo(demo3(); verbose=true) isa |
| 29 | + DynamicPPL.UntypedVarInfo |
28 | 30 |
|
29 | 31 | # Evaluation works (and it would even do so in practice), but sampling |
30 | 32 | # fill fail due to storing `Cauchy{Float64}` in `Vector{Normal{Float64}}`. |
|
36 | 38 | y ~ Cauchy() # different distibution, but same transformation => should work |
37 | 39 | end |
38 | 40 | end |
39 | | - @test DynamicPPL.determine_varinfo(demo4(); verbose=true) isa DynamicPPL.UntypedVarInfo |
| 41 | + @test DynamicPPL.determine_varinfo(demo4(); verbose=true) isa |
| 42 | + DynamicPPL.UntypedVarInfo |
40 | 43 |
|
41 | 44 | # In this model, the type error occurs in the user code rather than in DynamicPPL. |
42 | 45 | @model function demo5() |
|
48 | 51 | return sum(xs) |
49 | 52 | end |
50 | 53 | # Should pass if we're only checking the tilde statements. |
51 | | - @test DynamicPPL.determine_varinfo(demo5(); verbose=true) isa DynamicPPL.TypedVarInfo |
| 54 | + @test DynamicPPL.determine_varinfo(demo5(); verbose=true) isa |
| 55 | + DynamicPPL.TypedVarInfo |
52 | 56 | # Should fail if we're including errors in the model body. |
53 | | - @test DynamicPPL.determine_varinfo(demo5(); verbose=true, only_tilde=false) isa DynamicPPL.UntypedVarInfo |
| 57 | + @test DynamicPPL.determine_varinfo(demo5(); verbose=true, only_tilde=false) isa |
| 58 | + DynamicPPL.UntypedVarInfo |
54 | 59 | end |
55 | 60 |
|
56 | 61 | @testset "demo models" begin |
|
0 commit comments