honungsburk
Check that a parameter is a typespec inside a macro?
As the title says: is it possible to verify that a parameter to a macro is a typespec? As I understand it, a macro receives the ASTs as parameters and Elixir does not know anything about typespecs they only have meaning to Dialyzer. In my mental model I guess that Dialyzer analyses the AST directly. Is this a correct understanding?
Most Liked
sodapopcan
Typespecs are only understood by a handful of module attributes defined here, so these attriutes are working purely in the context of typespecs. For example, you can’t call String.t() anywhere else. Module attributes are just using the @/1 macro so that is what you would be looking for in AST. I can’t speak exactly to how Dialyzer is implemented but that if you are looking for specs for your own purposes then you’d be looking for {:@, _, [{:spec, _, [...]} etc while walking the AST.
Popular in Questions
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Develop your skills with books, videos, and courses.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #elixirconf-us
- #advent-of-code
- #distillery
- #processes
- #forms
- #api
- #metaprogramming
- #hex
- #security
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking for Elixir devs who love to ship. Start your free account.
Develop your skills with books, videos, and courses.
Enabling companies to succeed by building software people love.
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"