Skip to content

Conversation

blegat
Copy link
Contributor

@blegat blegat commented Jun 15, 2025

julia> @argcheck det(A) < 0 DomainError()
ERROR: MethodError: no method matching DomainError()
The type `DomainError` exists, but no method is defined for this combination of argument types when trying to construct it.

Closest candidates are:
  DomainError(::Any, ::Any)
   @ Core boot.jl:356
  DomainError(::Any)
   @ Core boot.jl:355

Stacktrace:
 [1] top-level scope
   @ REPL[17]:1

julia> @argcheck det(A) < 0 DomainError
ERROR: DomainError with det(A) < 0 must hold. Got
det(A) => 0.0:

Stacktrace:
 [1] throw_check_error(info::Any)
   @ ArgCheck ~/.julia/packages/ArgCheck/DaoPJ/src/checks.jl:283
 [2] top-level scope
   @ REPL[18]:1

```julia
julia> @argcheck det(A) < 0 DomainError()
ERROR: MethodError: no method matching DomainError()
The type `DomainError` exists, but no method is defined for this combination of argument types when trying to construct it.

Closest candidates are:
  DomainError(::Any, ::Any)
   @ Core boot.jl:356
  DomainError(::Any)
   @ Core boot.jl:355

Stacktrace:
 [1] top-level scope
   @ REPL[17]:1

julia> @argcheck det(A) < 0 DomainError
ERROR: DomainError with det(A) < 0 must hold. Got
det(A) => 0.0:

Stacktrace:
 [1] throw_check_error(info::Any)
   @ ArgCheck ~/.julia/packages/ArgCheck/DaoPJ/src/checks.jl:283
 [2] top-level scope
   @ REPL[18]:1
```
@jw3126 jw3126 merged commit 4d525ec into jw3126:master Jun 16, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants