feifan

feifan

Hello! Is it possible to get the typespecs for a module that is compiled at runtime via Code.complie_string()? For example, if I run

compiled_module, _bytecode = Code.compile_string(
  """
  defmodule UserDefinedGreeter do
    @spec call(name :: String.t()) :: {:return, String.t()}
    def call(name) do
      {:return, "Hey " <> name}
    end
  end
  """
)

I end up with a UserDefinedGreeter module and I can e.g. call UserDefinedGreeter.call("foo"). However, I can’t seem to access that call typespec.

  • Code.Typespec.fetch_types(UserDefinedGreeter) returns :error
  • Kernel.Typespec.beam_specs(UserDefinedGreeter) returns nil

Is there an option I’m overlooking, or a different way to compile Elixir code at runtime that will result in the typespecs being accessible?

First 3 of 3 Posts Switch mode

kip

kip

ex_cldr Core Team

Those functions retrieve information from the byte code on disk I believe, and therefore will fail for dynamically compiled modules.

I think you may find this post to be helpful. At least to understand the issue better.

feifan

feifan OP

Ah good to know — it looks like there might be a possible workaround in the post you linked. I’ll follow up there, thanks!

feifan

feifan OP

From that post you linked:

It turns out I can pass the bytecode to Code.Typespec.fetch_specs directly. So from the original example, this should work:

_compiled_module, bytecode = Code.compile_string(
  """
  defmodule UserDefinedGreeter do
    @spec call(name :: String.t()) :: {:return, String.t()}
    def call(name) do
      {:return, "Hey " <> name}
    end
  end
  """
)
Code.Typespec.fetch_specs(bytecode)
— All posts loaded —

Where Next? Top

Trending in Questions Top

stjefim
Hello! Suppose you are building workflow (order / task / payment) processing system with the following requirements: Each workflow con...
New
jonnycharles
I’m in search of an Elixir library that offers PDF generation capabilities similar to Ruby’s Prawn. While there have been discussions abo...
New
spammy
I’m looking to build a personal workflow to quickly deploy web applications written in elixir/phoenix, for local consumption (ie not on t...
New
dli
Before I dive in myself, did anyone successfully sprinkle Hologram into their existing LiveView app? Looking for hints regarding: Addi...
New
roeland
Kia ora, We have been using elixir-google-api to connect to Google Drive. However, with the updates to Tesla due to CVEs this is now bro...
New
bottlenecked
Hi all, I wanted to ask how the community is dealing with post-release steps. Today we have Ecto migrations, which make sure that the db...
New
rahultumpala
Hello, I have an Elixir backend that implements a custom protocol over TCP. I want to load test the backend and assess the performance o...
New

Other Trending Topics Top

JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge &amp; Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
ausimian
Emily is an Elixir library that runs Nx computations on Apple’s MLX. Install it as the default Nx backend and Nx, defn, Axon, Nx.Serving,...
New

We're in Beta

About us Mission Statement