Merge pull request #459 from lucaferranti/lf/irrational_dotdot

fix `..` for irrational inputs

Author: lucaferranti

src/intervals/intervals.jl

@@ -151,12 +151,12 @@ end
 
 function ..(a::Irrational{T}, b::S) where {T, S}
     R = promote_type(Irrational{T}, S)
-    return Interval(R(a, RoundDown), atomic(Interval{R}, b).hi)
+    return interval(R(a, RoundDown), atomic(Interval{R}, b).hi)
 end
 
 function ..(a::Irrational{T}, b::Irrational{S}) where {T, S}
     R = promote_type(Irrational{T}, Irrational{S})
-    return Interval(a, b)
+    return interval(a, b)
 end
 
 # ..(a::Integer, b::Integer) = interval(a, b)

test/interval_tests/construction.jl

@@ -236,6 +236,12 @@ end
 
     a = big(0.1)..2
     @test typeof(a) == Interval{BigFloat}
+
+    @test_throws ArgumentError 2..1
+    @test_throws ArgumentError π..1
+    @test_throws ArgumentError π..eeuler
+    @test_throws ArgumentError 4..π
+    @test 1..π == Interval(1, π)
 end
 
 @testset "± tests" begin