From c625302a6e0f8191ff652d99d3bb7a9558d5c893 Mon Sep 17 00:00:00 2001 From: Owen Lynch Date: Wed, 20 Sep 2023 17:10:52 -0700 Subject: [PATCH] special bonus tests --- test/syntax/Scopes.jl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/test/syntax/Scopes.jl b/test/syntax/Scopes.jl index f55f00bd..7ed11909 100644 --- a/test/syntax/Scopes.jl +++ b/test/syntax/Scopes.jl @@ -119,7 +119,11 @@ xy_scope′ = Scope([bind_x]; tag=tag1) @test hasident(xy_scope, x) @test !hasident(xy_scope; tag=tag1) -value_scope = Scope{Union{Int, String}}(:x => 1, :y => 1) isa Scope{Union{Int, String}} +value_scope = Scope{Union{Int, String}}(:x => 1, :y => 1) + +@test value_scope isa Scope{Union{Int, String}} +@test values(value_scope) == [1, 1] +@test getvalue(value_scope, :x) == 1 s = Scope{String, Int}()