Skip to content

Commit

Permalink
Remove ForwardDiff dependency (#13)
Browse files Browse the repository at this point in the history
  • Loading branch information
dpsanders authored and lbenet committed May 18, 2017
1 parent f86a279 commit 33e89f3
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 6 deletions.
1 change: 0 additions & 1 deletion REQUIRE
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
julia 0.5
CRlibm 0.5
StaticArrays 0.3
ForwardDiff 0.2
RecipesBase
2 changes: 1 addition & 1 deletion src/IntervalArithmetic.jl
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ module IntervalArithmetic

import CRlibm
using StaticArrays
using ForwardDiff


import Base:
+, -, *, /, //, fma,
Expand Down
4 changes: 2 additions & 2 deletions src/decorations/intervals.jl
Original file line number Diff line number Diff line change
Expand Up @@ -80,8 +80,8 @@ end

# Promotion and conversion, and other constructors

promote_rule{T<:Real, N, R<:Real}(::Type{DecoratedInterval{T}},
::Type{ForwardDiff.Dual{N,R}}) = ForwardDiff.Dual{N, DecoratedInterval{promote_type(T,R)}}
# promote_rule{T<:Real, N, R<:Real}(::Type{DecoratedInterval{T}},
# ::Type{ForwardDiff.Dual{N,R}}) = ForwardDiff.Dual{N, DecoratedInterval{promote_type(T,R)}}

promote_rule{T<:Real, S<:Real}(::Type{DecoratedInterval{T}}, ::Type{S}) =
DecoratedInterval{promote_type(T, S)}
Expand Down
4 changes: 2 additions & 2 deletions src/intervals/conversion.jl
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@

# Avoid ambiguity with ForwardDiff:

promote_rule{T<:Real, N, R<:Real}(::Type{Interval{T}},
::Type{ForwardDiff.Dual{N,R}}) = ForwardDiff.Dual{N, Interval{promote_type(T,R)}}
# promote_rule{T<:Real, N, R<:Real}(::Type{Interval{T}},
# ::Type{ForwardDiff.Dual{N,R}}) = ForwardDiff.Dual{N, Interval{promote_type(T,R)}}


promote_rule{T<:Real, S<:Real}(::Type{Interval{T}}, ::Type{Interval{S}}) =
Expand Down

0 comments on commit 33e89f3

Please sign in to comment.