Skip to content

Commit

Permalink
Fix Sym getting name
Browse files Browse the repository at this point in the history
  • Loading branch information
bowenszhu committed Sep 16, 2024
1 parent 36d28cc commit 8870978
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/basics.jl
Original file line number Diff line number Diff line change
Expand Up @@ -37,14 +37,14 @@ using Test

@syms (f::typeof(max))(::Real, ::AbstractFloat)::Number a::Real
@test issym(f)
@test f.name == :f
@test f.impl.name == :f
@test symtype(f) == FnType{Tuple{Real, AbstractFloat}, Number, typeof(max)}
@test isterm(f(a, b))
@test symtype(f(a, b)) == Number

@syms g(p, (h::typeof(identity))(q::Real)::Number)::Number
@test issym(g)
@test g.name == :g
@test g.impl.name == :g
@test symtype(g) == FnType{Tuple{Number, FnType{Tuple{Real}, Number, typeof(identity)}}, Number, Nothing}
@test_throws "not a subtype of" g(a, f)
@syms (f::typeof(identity))(::Real)::Number
Expand Down

0 comments on commit 8870978

Please sign in to comment.