@@ -75,6 +75,18 @@ for (sym, val, newval, check_inference) in [(:x, u[1], 4.0, true)
7575 @test get (u) == val
7676end
7777
78+ for (sym, val, check_inference) in [
79+ (:(x + y), u[1 ] + u[2 ], true ),
80+ ([:(x + y), :z ], [u[1 ] + u[2 ], u[3 ]], false ),
81+ ((:(x + y), :(z + y)), (u[1 ] + u[2 ], u[2 ] + u[3 ]), false )
82+ ]
83+ get = getu (sys, sym)
84+ if check_inference
85+ @inferred get (fi)
86+ end
87+ @test get (fi) == val
88+ end
89+
7890for (sym, oldval, newval, check_inference) in [(:a , p[1 ], 4.0 , true )
7991 (:b , p[2 ], 5.0 , true )
8092 (:c , p[3 ], 6.0 , true )
101113for (sym, val, check_inference) in [
102114 (:t , t, true ),
103115 ([:x , :a , :t ], [u[1 ], p[1 ], t], false ),
104- ((:x , :a , :t ), (u[1 ], p[1 ], t), true )
116+ ((:x , :a , :t ), (u[1 ], p[1 ], t), false )
105117]
106118 get = getu (fi, sym)
107119 if check_inference
@@ -182,6 +194,18 @@ for (sym, ans, check_inference) in [(:x, xvals, true)
182194 end
183195end
184196
197+ for (sym, val, check_inference) in [
198+ (:(x + y), xvals .+ yvals, true ),
199+ ([:(x + y), :z ], vcat .(xvals .+ yvals, zvals), false ),
200+ ((:(x + y), :(z + y)), tuple .(xvals .+ yvals, yvals .+ zvals), false )
201+ ]
202+ get = getu (sys, sym)
203+ if check_inference
204+ @inferred get (sol)
205+ end
206+ @test get (sol) == val
207+ end
208+
185209for (sym, val) in [(:a , p[1 ])
186210 (:b , p[2 ])
187211 (:c , p[3 ])
0 commit comments