Resolve signature issue (#40)

* Typevar fix

* Formatting

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

* Update CI

* Fix tests:

* Bump patch

* Fix formatting

* Fix formatting

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: willtebbutt

.github/workflows/CI.yml

@@ -15,7 +15,7 @@ jobs:
       fail-fast: false
       matrix:
         version:
-          - "1.0"  # LTS
+          - "1.6"  # LTS
           - "1"    # Latest Release
         os:
           - ubuntu-latest
@@ -30,11 +30,6 @@ jobs:
             arch: x86
           - os: windows-latest
             arch: x86
-        include:
-          # Add a 1.5 job because that's what Invenia actually uses
-          - os: ubuntu-latest
-            version: 1.5
-            arch: x64
     steps:
       - uses: actions/checkout@v2
       - uses: julia-actions/setup-julia@v1

Project.toml

@@ -1,7 +1,7 @@
 name = "ExprTools"
 uuid = "e2ba6199-217a-4e67-a87a-7c52f15ade04"
 authors = ["Invenia Technical Computing"]
-version = "0.1.9"
+version = "0.1.10"
 
 [compat]
 julia = "1"

src/type_utils.jl

@@ -7,4 +7,5 @@ e.g. `parameters(Foo{A, B, C}) == [A, B, C]`
 """
 parameters(sig::UnionAll) = parameters(sig.body)
 parameters(sig::DataType) = sig.parameters
-parameters(sig::Union) = Base.uniontypes(sig)
+parameters(sig::Union) = Base.uniontypes(sig)
+parameters(sig::TypeVar) = [sig]

test/type_utils.jl

@@ -56,5 +56,17 @@
 
         # Non-parametric type
         @test isempty(parameters(Bool))
-    end     
-end
+
+        # type-vars in signatures
+        s = only(parameters(TypeVar(:T)))
+        @test s.name == :T
+        @test s.lb == Union{}
+        @test s.ub == Any
+
+        # https://github.com/invenia/ExprTools.jl/issues/39
+        @testset "#39" begin
+            s = signature(Tuple{Type{T},T} where {T<:Number})
+            @test only(s[:whereparams]).args[1] == :T
+        end
+    end
+end