Merge pull request #660 from JuliaIntervals/dps-exact-real-constructor

Remove inner constructor for ExactReal
JuliaIntervals · May 29, 2024 · 0bb1d9b · 0bb1d9b
2 parents 685efc3 + 141e0c8
commit 0bb1d9b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/intervals/exact_literals.jl b/src/intervals/exact_literals.jl
@@ -50,6 +50,7 @@ See also: [`@exact`](@ref).
 struct ExactReal{T<:Real} <: Real
     value :: T
 
+    ExactReal{T}(value::T) where {T<:Real} = new{T}(value)
     ExactReal(value::T) where {T<:Real} = new{T}(value)
 end
 

diff --git a/test/interval_tests/exact_literals.jl b/test/interval_tests/exact_literals.jl
@@ -8,6 +8,9 @@
     @test (@exact 1.2 + 3.4im) isa Complex{<:ExactReal}
     @test_throws ArgumentError (@exact 1.2 + 3im)
 
+    @test ExactReal{Int}(3).value == 3
+    @test_throws MethodError ExactReal{Float64}(1//3)
+
     #
 
     x = @exact 0.5