Add tests for static integer and range functions

Author: oschulz

test/Project.toml

@@ -3,6 +3,7 @@ Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 ChainRulesTestUtils = "cdddcdb0-9152-4a09-a978-84456f9df70a"
 ChangesOfVariables = "9e997f8a-9a97-42d5-a9f1-ce6bfc15e2c0"
 DensityInterface = "b429d917-457f-4dbc-8f4c-0cc954292b1d"
+FillArrays = "1a297f60-69ca-5386-bcde-b61e274b549b"
 InverseFunctions = "3587e190-3f89-42d0-90ee-14403ec27112"
 IrrationalConstants = "92d709cd-6900-40b7-9082-c6be49f344b6"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

test/runtests.jl

@@ -10,6 +10,8 @@ using MeasureBase: test_interface, test_smf
 using Aqua
 Aqua.test_all(MeasureBase; ambiguities = false)
 
+include("static.jl")
+
 # Aqua._test_ambiguities(
 #     Aqua.aspkgids(MeasureBase);
 #     exclude = [LogarithmicNumbers.Logarithmic],

test/static.jl

@@ -0,0 +1,31 @@
+using Test
+
+import MeasureBase
+
+import Static
+using Static: static
+import FillArrays
+
+@testset "static" begin
+    @test 2 isa MeasureBase.IntegerLike
+    @test static(2) isa MeasureBase.IntegerLike
+    @test true isa MeasureBase.IntegerLike
+    @test static(true) isa MeasureBase.IntegerLike
+    
+    @test @inferred(MeasureBase.one_to(7)) isa Base.OneTo
+    @test @inferred(MeasureBase.one_to(7)) == 1:7
+    @test @inferred(MeasureBase.one_to(static(7))) isa Static.SOneTo
+    @test @inferred(MeasureBase.one_to(static(7))) == static(1):static(7)
+
+    @test @inferred(MeasureBase.fill_with(4.2, (7,))) == FillArrays.Fill(4.2, 7)
+    @test @inferred(MeasureBase.fill_with(4.2, (static(7),))) == FillArrays.Fill(4.2, 7)
+    @test @inferred(MeasureBase.fill_with(4.2, (3, static(7)))) == FillArrays.Fill(4.2, 3, 7)
+    @test @inferred(MeasureBase.fill_with(4.2, (3:7,))) == FillArrays.Fill(4.2, (3:7,))
+    @test @inferred(MeasureBase.fill_with(4.2, (static(3):static(7),))) == FillArrays.Fill(4.2, (3:7,))
+    @test @inferred(MeasureBase.fill_with(4.2, (3:7, static(2):static(5)))) == FillArrays.Fill(4.2, (3:7, 2:5))
+
+    @test MeasureBase.maybestatic_length(MeasureBase.one_to(7)) isa Int
+    @test MeasureBase.maybestatic_length(MeasureBase.one_to(7)) == 7
+    @test MeasureBase.maybestatic_length(MeasureBase.one_to(static(7))) isa Static.StaticInt
+    @test MeasureBase.maybestatic_length(MeasureBase.one_to(static(7))) == static(7)
+end