search

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
https://juliareach.github.io/ReachabilityAnalysis.jl/
MIT License
192 stars 16 forks source link

Replace `requires` macro with `require` #848

Closed schillic closed 1 month ago

mforets commented 2 months ago

why is @requires no longer supported? it looks like more compact notation than the alternative.

schillic commented 2 months ago

I prefer to have only one version everywhere. But you are right that it is a bit more compact. How about moving the implementation to ReachabilityBase as an alternative @require method without the module argument?

EDIT: Ha, there is actually https://github.com/JuliaReach/ReachabilityBase.jl/issues/44.