Create sub module with atom name

shahryarjb

Hello friends,
I want to create a module inside another module with an atom name:

For example:

  defmacro sub_field(name, _type, opts \\ [], do: block) do
    ast = register_struct(block, opts)

    quote do
      defmodule unquote(name) do
        unquote(ast)
      end
    end
  end

If I use Module name, it is okey and creates a sub module for me like:

sub_field(Oop, String.t(), enforce: true) do
    field(:title, String.t())
    field(:fam, String.t())
end

But If I replace Oop with :opp it has invalid module name error.

I tried to convert atom to string and use Macro.camelize() and convert it to atom again ( :Oop), but it does not accept.

Then I print :opp, it just returns :opp in my macro but if I put module name Opp it returns something like this:

{:__aliases__,
 [
   counter: {MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct, 3},
   line: 520
 ], [:Opp]}

now how can use atom to do this?

Thank you in advance

15 comments

#macro

0 1329 15

2023-08-13 07:42:19 UTC

Showing Posts 15 to 6

Show Best Posts
Show All (oldest first)
Show All (newest first)

Eiji

It’s not a part of public API and therefore no answer guarantees you a working solution using it. Why cant you use %module{…} notation?

First of all why you do this? Much more common is to place it in test/fixtures/my_fixture.ex file …

There was some talk about this issue … I think it was about Elixir scripts i.e. exs files called like elixir my_script.exs. There was a question I think about ecto’s macros not working on same level where module is defined, but working inside some function … Somebody from Elixir’s core team (most probably José Valim) commented it and that it’s known limitation.

Post #15

shahryarjb

Hi again , I have a question, when I move my module and macro inside a test, it does not work, I think inside test it takes a time to compile and the functions are called faster than the macro

for example:

  test "nested macro field" do
    defmodule TestNestedStruct do
      use GuardedStruct

      guardedstruct do
        field(:title, String.t())
        field(:subject, String.t())

        sub_field(:oop, String.t(), enforce: true) do
          field(:title, String.t())
          field(:fam, String.t())

          sub_field(:soos, String.t(), enforce: true) do
            field(:fam, String.t())
          end
        end

        field(:site, String.t())
      end
    end

    IO.inspect(TestNestedStruct.__struct__())
    IO.inspect(TestNestedStruct.Oop.__struct__())
    IO.inspect(TestNestedStruct.Oop.__info__(:functions))
    IO.inspect(TestNestedStruct.Oop.Soos.__struct__())
    IO.inspect(TestNestedStruct.Oop.Soos.__info__(:functions))
    IO.inspect(TestNestedStruct.keys())

    assert %TestNestedStruct.Oop{
             fam: nil,
             title: nil
           } = TestNestedStruct.Oop.__struct__()
  end

The error:

error: MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct.Oop.__struct__/0 is undefined, cannot expand struct MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct.Oop. Make sure the struct name is correct. If the struct name exists and is correct but it still cannot be found, you likely have cyclic module usage in your code
  test/guarded_struct_test.exs:542: MishkaDeveloperToolsTest.GuardedStructTest."test nested macro field"/1

But if I move the module out of test macro, it works like:

  defmodule TestNestedStruct do
    use GuardedStruct

    guardedstruct do
      field(:title, String.t())
      field(:subject, String.t())

      sub_field(:oop, String.t(), enforce: true) do
        field(:title, String.t())
        field(:fam, String.t())

        sub_field(:soos, String.t(), enforce: true) do
          field(:fam, String.t())
        end
      end

      field(:site, String.t())
    end
  end

  test "nested macro field" do
    IO.inspect(TestNestedStruct.__struct__())
    IO.inspect(TestNestedStruct.Oop.__struct__())
    IO.inspect(TestNestedStruct.Oop.__info__(:functions))
    IO.inspect(TestNestedStruct.Oop.Soos.__struct__())
    IO.inspect(TestNestedStruct.Oop.Soos.__info__(:functions))
    IO.inspect(TestNestedStruct.keys())

    assert %TestNestedStruct.Oop{
             fam: nil,
             title: nil
           } = TestNestedStruct.Oop.__struct__()
  end

If i put the output of `struct` inside a variable, it print the output but it shows me this warning

....warning: MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct.Oop.__struct__/0 is undefined (module MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct.Oop is not available or is yet to be defined)
  test/guarded_struct_test.exs:541: MishkaDeveloperToolsTest.GuardedStructTest."test nested macro field"/1

Post #14

Eiji

__CALLER__ looks good for me and there should not be any problem. As always just an example to check what you worry about:

defmodule MyLib do
  defmacro my_macro(name, do: block) do
    module =
      name
      |> Atom.to_string()
      |> Macro.camelize()
      |> String.to_atom()
      |> then(&Module.concat(__CALLER__.module, &1))

    quote do
      defmodule unquote(module) do
        _ = unquote(block)
      end
    end
  end
end

defmodule A do
  import MyLib

  my_macro :b do
    my_macro :c do
      IO.inspect(__MODULE__)
    end
  end
end

The above code prints A.B.C.

Post #13

shahryarjb

Ahh, Thank you yes you are right

  defmacro sub_field(name, _type, opts \\ [], do: block) do
    ast = register_struct(block, opts)

    name =
      name
      |> Atom.to_string()
      |> Macro.camelize()
      |> String.to_atom()

    %Macro.Env{module: mod} = __CALLER__
    module_name = Module.concat(mod, name)

    quote do
      defmodule unquote(module_name) do
        unquote(ast)
      end
    end
  end

but I think it just supports one level nested, because I use __CALLER__

I think it does not support

  defmodule TestNestedStruct do
    use GuardedStruct

    guardedstruct do
      field(:title, String.t())
      field(:subject, String.t())

      sub_field(:oop, String.t(), enforce: true) do
        field(:title, String.t())
        field(:fam, String.t())
        sub_field(:sop, String.t(), enforce: true) do
          field(:title, String.t())
        end
      end

      field(:site, String.t())
    end
  end

so I wont be able to fix it I create another post for it. thank you

Post #12

Eiji

vs what your code do:
:oop → "oop" → "Oop" → Elixir.Oop

Something in your code tries to reference this long module where it should Oop or you should do other concatenation (not with Elixir, but for example a parent module i.e. __MODULE__). Since I have shared small example I have concatenated said module with Example module.

Post #11

shahryarjb

Yes this place we can concat the module!! but when I use this inside my macro it does not work and has error.

  defmacro sub_field(name, _type, opts \\ [], do: block) do
    ast = register_struct(block, opts)

    name =
      name
      |> Atom.to_string()
      |> Macro.camelize()
      |> String.to_atom()

    module_name = Module.concat(Elixir, name)

    quote do
      defmodule unquote(module_name) do
        unquote(ast)
      end
    end
  end

Error

➜  mishka_developer_tools git:(master) ✗ mix test
Compiling 1 file (.ex)
error: MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct.Oop.__struct__/0 is undefined, cannot expand struct MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct.Oop. Make sure the struct name is correct. If the struct name exists and is correct but it still cannot be found, you likely have cyclic module usage in your code
  test/guarded_struct_test.exs:534: MishkaDeveloperToolsTest.GuardedStructTest."test nested macro field"/1


== Compilation error in file test/guarded_struct_test.exs ==
** (CompileError) test/guarded_struct_test.exs: cannot compile module MishkaDeveloperToolsTest.GuardedStructTest (errors have been logged)
    (stdlib 5.0.2) lists.erl:1706: :lists.mapfoldl_1/3
    (stdlib 5.0.2) lists.erl:1706: :lists.mapfoldl_1/3
    (ex_unit 1.15.1) expanding macro: ExUnit.Assertions.assert/1
    test/guarded_struct_test.exs:534: MishkaDeveloperToolsTest.GuardedStructTest."test nested macro field"/1

Post #10

shahryarjb

zachallaun:

defmacro sub_field(name, type, opts \\ [], do: block) do
    ast = register_struct(block, opts)

    name =
      name
      |> Atom.to_string()
      |> Macro.camelize()
      |> String.to_atom()

    quote unquote: false, bind_quoted: [name: name, ast: ast] do
      module_name = Module.concat(__MODULE__, name)

      defmodule unquote(module_name) do
        unquote(ast)
      end
    end
  end

I have this eror for this:

error: unquote called outside quote
  test/guarded_struct_test.exs:521: MishkaDeveloperToolsTest.GuardedStructTest.TestNestedStruct (module)

Post #9

Eiji

right, my bad

Post #8

zachallaun

Credit where it’s due: I just copied it from @shahryarjb’s post above mine!

Post #7

Eiji

Take a look at this code for inspiration:

defmodule Example do
  def sample(module) when is_atom(module) do
    module |> Atom.to_string() |> Macro.camelize() |> String.to_atom()
  end
end

module = Example

[Opp, :Opp, :opp]
|> Enum.map(&Example.sample/1)
|> Enum.map(&Module.concat(module, &1))
|> IO.inspect()

# returns: [Example.Opp, Example.Opp, Example.Opp]

Note: I have tried Module.split/1, but it does not support non-Elixir modules (those having Elixir. prefix when changing to String).

Edit: I have forgot about Macro.camelize/1, so I have updated my code. Thanks @zachallaun!

Post #6

Load more posts (5 remaining)