kerryb

kerryb

I have some AST rewriting code (using Sourceror) that has started failing in Elixir 1.18 – I believe because unquote has become stricter about valid AST, whereas in earlier versions it was only an issue within macros.

The issue is that it’s trying to generate code containing a ~D[...] sigil. It works in Elixir 1.17:

iex(1)> quote do: unquote(~D[2025-01-07])
~D[2025-01-07]

But not in 1.18:

iex(1)> quote do: unquote(~D[2025-01-07])
** (ArgumentError) tried to unquote invalid AST: ~D[2025-01-07]
Did you forget to escape term using Macro.escape/1?
    (elixir 1.18.1) src/elixir_quote.erl:542: :elixir_quote.argument_error/1
    iex:1: (file)

I can use Macro.escape as suggested, but this inserts the date as a raw map instead of a sigil. This works, but doesn’t look great in the generated code:

iex(2)> quote do: unquote(Macro.escape(~D[2025-01-07]))
{:%{}, [],
 [__struct__: Date, calendar: Calendar.ISO, day: 7, month: 1, year: 2025]}

Is there some way to end up with a call to the ~D macro in the generated code, rather than the resulting struct/map?

Showing Posts 1 to 2

LostKobrakai

LostKobrakai

The quote/unquote has nothing to do with how the final generated code looks like. They’re just means of generating AST/injecting given AST in the resulting AST. You’d need to figure out the correct AST you want to return for sourceror:

iex(1)> quote do: ~D[2024-12-12]
{:sigil_D, [delimiter: "[", context: Elixir, imports: [{2, Kernel}]],
 [{:<<>>, [], ["2024-12-12"]}, []]}

Depending on what input you actually have you can build that AST for the return value.

iex(1)> quote do: unquote(~D[2025-01-07])
~D[2025-01-07]

This here is basically a noop. It does/did nothing.

kerryb

kerryb OP

The quote/unquote has nothing to do with how the final generated code looks like. They’re just means of generating AST/injecting given AST in the resulting AST. You’d need to figure out the correct AST you want to return for sourceror:

iex(1)> quote do: ~D[2024-12-12]
{:sigil_D, [delimiter: "[", context: Elixir, imports: [{2, Kernel}]],
 [{:<<>>, [], ["2024-12-12"]}, []]}

Thanks, that makes sense.

This here is basically a noop. It does/did nothing.

Yeah, in the real code there was a lot more stuff in the quote.

— All posts loaded —

Where Next? Top

Trending in Questions Top

katta
I having some trouble figuring out if I have set myself too strict of standards for my production server. Currently I can handle 75% of r...
New
brecabral
Documentation While reading the Scoped Routes section, I noticed that the documentation currently refers to a problem without explainin...
New
nseaSeb
Hello, I know there is an approach for handling lists that allows for optimized traversal, but I can’t recall the specific method (somet...
New
kpanic
Hi everyone, I am toying with the idea of building a “match maker” for giving personal help to people that wants to start coding. I sta...
New
velrest
So my question is quite simple and i have found no conclusive answer on forum, google or AI. Should we use :erlang.float for Integer to ...
New
asweet-confluent
I recently noticed that Elixir’s Logger defaults its primary log level to :debug when no :logger, :level application configuration is pre...
New
apz
I’m new to elixir and just tried to install the elixirLS extension for VScode(ium) and it is throwing some errors that I would like help ...
New

Other Trending Topics Top

GenericJam
Edit: 2026 May 15 - This post is archived. Mob is alive!! Main docs: mob v0.7.11 — Documentation A bit of explanation for the slightly c...
New
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
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
New
mhanberg
Hi everyone! The first release candidate for the Expert language server project is now available! We’ve published a press release detai...
New
budgie
A little off-topic, but I feel like people here have a good head on their shoulders. I used to be quite good at making software. Was luc...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews