up

Author: vyudu

src/systems/diffeqs/odesystem.jl

@@ -329,6 +329,8 @@ function ODESystem(eqs, iv; kwargs...)
                     throw(ArgumentError("The differential variable $diffvar is not unique in the system of equations."))
                 push!(diffvars, diffvar)
             end
+            !(symtype(diffvar) === Real || eltype(symtype(var)) === Real) && throw(ArgumentError("Differential variable $var has type $(symtype(var)). Differential variables should not be concretely typed."))
+
             push!(diffeq, eq)
         else
             push!(algeeq, eq)

src/utils.jl

@@ -161,9 +161,10 @@ function check_var_types(sys_type::Type{T}, dvs) where T <: AbstractSystem
     # elseif any(u -> (eltype(symtype(u)) !== eltype(symtype(dvs[1]))), dvs)
     #     error("The element type of all the unknown variables in a system must all be the same.")
     if sys_type == ODESystem || sys_type == SDESystem || sys_type == PDESystem
-        any(u -> !(symtype(u) == Real || eltype(symtype(u)) == Real), dvs) && error("The type of unknown variables for an SDESystem, PDESystem, or ODESystem should not be a concrete numeric type.")
+        for var in dvs
+            !(symtype(var) === Real || eltype(symtype(var)) === Real) && throw(ArgumentError("Differential variable $var has type $(symtype(var)). The type of unknown variables for an SDESystem, PDESystem, or ODESystem should be Real."))
+        end
     end
-    nothing
 end
 
 function check_lhs(eq::Equation, op, dvs::Set)